diff options
author | Ulrik Strid <ulrik.strid@outlook.com> | 2022-02-22 10:59:04 +0100 |
---|---|---|
committer | Ulrik Strid <ulrik.strid@outlook.com> | 2022-02-24 14:39:27 +0100 |
commit | a13cdfe520d87db401dd000fbd67cad728162a60 (patch) | |
tree | 85c0d28a4d9ae9e447f2bbf026decdb0ff35d946 /pkgs/applications/science/logic | |
parent | 24102db995db84d1caa4cf24371b153c2023aeee (diff) | |
download | nixpkgs-a13cdfe520d87db401dd000fbd67cad728162a60.tar nixpkgs-a13cdfe520d87db401dd000fbd67cad728162a60.tar.gz nixpkgs-a13cdfe520d87db401dd000fbd67cad728162a60.tar.bz2 nixpkgs-a13cdfe520d87db401dd000fbd67cad728162a60.tar.lz nixpkgs-a13cdfe520d87db401dd000fbd67cad728162a60.tar.xz nixpkgs-a13cdfe520d87db401dd000fbd67cad728162a60.tar.zst nixpkgs-a13cdfe520d87db401dd000fbd67cad728162a60.zip |
ocamlPackages tree-wide: Move buildInputs that should be nativeBuildInputs
To keep this for the future we also strictDeps where possible, including for janePackages, topkg, oasis and ocamlbuild. This makes some closures significantly smaller and makes cross compilation easier
Diffstat (limited to 'pkgs/applications/science/logic')
-rw-r--r-- | pkgs/applications/science/logic/alt-ergo/default.nix | 17 | ||||
-rw-r--r-- | pkgs/applications/science/logic/anders/default.nix | 5 |
2 files changed, 11 insertions, 11 deletions
diff --git a/pkgs/applications/science/logic/alt-ergo/default.nix b/pkgs/applications/science/logic/alt-ergo/default.nix index 837f25e320f..096a648b4dd 100644 --- a/pkgs/applications/science/logic/alt-ergo/default.nix +++ b/pkgs/applications/science/logic/alt-ergo/default.nix @@ -12,36 +12,33 @@ let }; useDune2 = true; - - nativeBuildInputs = [ which ]; - in let alt-ergo-lib = ocamlPackages.buildDunePackage rec { pname = "alt-ergo-lib"; - inherit version src useDune2 nativeBuildInputs; + inherit version src useDune2; configureFlags = pname; + nativeBuildInputs = [ which ]; buildInputs = with ocamlPackages; [ dune-configurator ]; propagatedBuildInputs = with ocamlPackages; [ num ocplib-simplex stdlib-shims zarith ]; }; in let alt-ergo-parsers = ocamlPackages.buildDunePackage rec { pname = "alt-ergo-parsers"; - inherit version src useDune2 nativeBuildInputs; + inherit version src useDune2; configureFlags = pname; - buildInputs = with ocamlPackages; [ menhir ]; + nativeBuildInputs = [ which ocamlPackages.menhir ]; propagatedBuildInputs = [ alt-ergo-lib ] ++ (with ocamlPackages; [ camlzip psmt2-frontend ]); }; in ocamlPackages.buildDunePackage { - inherit pname version src useDune2 nativeBuildInputs; + inherit pname version src useDune2; configureFlags = pname; - buildInputs = [ alt-ergo-parsers ] ++ (with ocamlPackages; [ - cmdliner menhir ]) - ; + nativeBuildInputs = [ which ocamlPackages.menhir ]; + buildInputs = [ alt-ergo-parsers ocamlPackages.cmdliner ]; meta = { description = "High-performance theorem prover and SMT solver"; diff --git a/pkgs/applications/science/logic/anders/default.nix b/pkgs/applications/science/logic/anders/default.nix index 72e412fc3bd..bb60b2b8321 100644 --- a/pkgs/applications/science/logic/anders/default.nix +++ b/pkgs/applications/science/logic/anders/default.nix @@ -13,7 +13,10 @@ ocamlPackages.buildDunePackage rec { sha256 = "sha256-JUiZoo2rNLfgs94TlJqUNzul/7ODisCjSFAzhgSp1z4="; }; - buildInputs = with ocamlPackages; [ zarith menhir ]; + strictDeps = true; + + nativeBuildInputs = [ ocamlPackages.menhir ]; + buildInputs = [ ocamlPackages.zarith ]; meta = with lib; { description = "Modal Homotopy Type System"; |