diff options
Diffstat (limited to 'pkgs/development/ocaml-modules/psmt2-frontend/default.nix')
| -rw-r--r-- | pkgs/development/ocaml-modules/psmt2-frontend/default.nix | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/pkgs/development/ocaml-modules/psmt2-frontend/default.nix b/pkgs/development/ocaml-modules/psmt2-frontend/default.nix index dbdf3970f63..25c9ec4b870 100644 --- a/pkgs/development/ocaml-modules/psmt2-frontend/default.nix +++ b/pkgs/development/ocaml-modules/psmt2-frontend/default.nix @@ -15,7 +15,9 @@ buildDunePackage rec { minimumOCamlVersion = "4.03"; - buildInputs = [ menhir ]; + strictDeps = true; + + nativeBuildInputs = [ menhir ]; meta = { description = "A simple parser and type-checker for polomorphic extension of the SMT-LIB 2 language"; |