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) |
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 2ddef0f40529b..df7f140e5458a 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" |