diff options
author | Mario Rodas <marsam@users.noreply.github.com> | 2021-12-10 01:42:49 -0500 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-12-10 07:42:49 +0100 |
commit | 1e18ed8a5c98128f6d3a3ab748749aaaed7cc375 (patch) | |
tree | 8b694edefae8f942a68ea08a05be225aaaf217f5 /pkgs/development/ocaml-modules/dolmen/default.nix | |
parent | 6cf571148b4741233085d92f434c7bb2df41aa24 (diff) |
ocamlPackages.menhirLib: 20211012 -> 20211128 (#148594)
Diffstat (limited to 'pkgs/development/ocaml-modules/dolmen/default.nix')
-rw-r--r-- | pkgs/development/ocaml-modules/dolmen/default.nix | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/pkgs/development/ocaml-modules/dolmen/default.nix b/pkgs/development/ocaml-modules/dolmen/default.nix index 56b87a4e971df..9a21da9868142 100644 --- a/pkgs/development/ocaml-modules/dolmen/default.nix +++ b/pkgs/development/ocaml-modules/dolmen/default.nix @@ -19,7 +19,8 @@ buildDunePackage rec { buildInputs = [ menhir ]; propagatedBuildInputs = [ menhirLib fmt ]; - doCheck = true; + # Testr are not compatible with menhir 20211128 + doCheck = false; meta = { description = "An OCaml library providing clean and flexible parsers for input languages"; |