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/applications/science/logic/tlaplus | |
| parent | c53a63adf11330c66d3f0ed0def74e0dacd2cd2a (diff) | |
treewide: add strictDeps = true to most packages depending on ocaml
Diffstat (limited to 'pkgs/applications/science/logic/tlaplus')
| -rw-r--r-- | pkgs/applications/science/logic/tlaplus/tlaps.nix | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/tlaplus/tlaps.nix b/pkgs/applications/science/logic/tlaplus/tlaps.nix index 14b3055ab36b0..59afbc094e40d 100644 --- a/pkgs/applications/science/logic/tlaplus/tlaps.nix +++ b/pkgs/applications/science/logic/tlaplus/tlaps.nix @@ -17,7 +17,9 @@ stdenv.mkDerivation rec { sha256 = "c296998acd14d5b93a8d5be7ee178007ef179957465966576bda26944b1b7fca"; }; - buildInputs = [ ocaml isabelle cvc3 perl wget which ]; + strictDeps = true; + + nativeBuildInputs = [ ocaml isabelle cvc3 perl wget which ]; installPhase = '' mkdir -pv "$out" |