diff options
| author | Ulrik Strid <ulrik.strid@outlook.com> | 2022-04-04 13:57:15 +0200 |
|---|---|---|
| committer | Ulrik Strid <ulrik.strid@outlook.com> | 2023-02-03 08:59:34 +0100 |
| commit | 376e9ceeadc4c4e06f34b33bf347a504a4b3bd65 (patch) | |
| tree | 24be3802f04a68ffc1e7f1702c0eb35cceda7b7a /pkgs/development/coq-modules | |
| parent | c53a63adf11330c66d3f0ed0def74e0dacd2cd2a (diff) | |
treewide: add strictDeps = true to most packages depending on ocaml
Diffstat (limited to 'pkgs/development/coq-modules')
| -rw-r--r-- | pkgs/development/coq-modules/compcert/default.nix | 6 |
1 files changed, 4 insertions, 2 deletions
diff --git a/pkgs/development/coq-modules/compcert/default.nix b/pkgs/development/coq-modules/compcert/default.nix index fb33f92bcc2a5..0e7225a184a2e 100644 --- a/pkgs/development/coq-modules/compcert/default.nix +++ b/pkgs/development/coq-modules/compcert/default.nix @@ -27,8 +27,10 @@ let compcert = mkCoqDerivation rec { "3.11".sha256 = "sha256-ZISs/ZAJVWtxp9+Sg5qV5Rss1gI9hK769GnBfawLa6A="; }; - nativeBuildInputs = [ makeWrapper ]; - buildInputs = with ocamlPackages; [ ocaml findlib menhir menhirLib ] ++ [ coq coq2html ]; + strictDeps = true; + + nativeBuildInputs = with ocamlPackages; [ makeWrapper ocaml findlib menhir coq coq2html ]; + buildInputs = with ocamlPackages; [ menhirLib ]; propagatedBuildInputs = [ flocq ]; enableParallelBuilding = true; |