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/development/ocaml-modules/elina | |
| 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/development/ocaml-modules/elina')
| -rw-r--r-- | pkgs/development/ocaml-modules/elina/default.nix | 4 |
1 files changed, 3 insertions, 1 deletions
diff --git a/pkgs/development/ocaml-modules/elina/default.nix b/pkgs/development/ocaml-modules/elina/default.nix index 2ddef0f4052..df7f140e545 100644 --- a/pkgs/development/ocaml-modules/elina/default.nix +++ b/pkgs/development/ocaml-modules/elina/default.nix @@ -8,10 +8,12 @@ stdenv.mkDerivation rec { sha256 = "1nymykskq1yx87y4xl6hl9i4q6kv0qaq25rniqgl1bfn883p1ysc"; }; - buildInputs = [ perl ocaml findlib ]; + nativeBuildInputs = [ perl ocaml findlib ]; propagatedBuildInputs = [ apron camlidl gmp mpfr ]; + strictDeps = true; + prefixKey = "--prefix "; configureFlags = [ "--use-apron" |