diff options
Diffstat (limited to 'nixpkgs/pkgs/development/ocaml-modules/menhir/default.nix')
| -rw-r--r-- | nixpkgs/pkgs/development/ocaml-modules/menhir/default.nix | 2 |
1 files changed, 2 insertions, 0 deletions
diff --git a/nixpkgs/pkgs/development/ocaml-modules/menhir/default.nix b/nixpkgs/pkgs/development/ocaml-modules/menhir/default.nix index 686cf9820580..1938206361e5 100644 --- a/nixpkgs/pkgs/development/ocaml-modules/menhir/default.nix +++ b/nixpkgs/pkgs/development/ocaml-modules/menhir/default.nix @@ -5,6 +5,8 @@ buildDunePackage rec { pname = "menhir"; + minimalOCamlVersion = "4.03"; + inherit (menhirLib) version src useDune2; buildInputs = [ menhirLib menhirSdk ]; |