diff options
| author | Guillaume Girol <symphorien+git@xlumurb.eu> | 2021-08-14 12:00:00 +0000 |
|---|---|---|
| committer | Guillaume Girol <symphorien+git@xlumurb.eu> | 2021-08-19 09:30:48 +0200 |
| commit | a99983b48baa81a32ab1d7686e10cf9fe71474fa (patch) | |
| tree | 6c862a4581d4cc444c6ef1f040e20f5447b44a85 /pkgs/development/ocaml-modules | |
| parent | dd8a67479603f826c33d85a7fc45db1d59e27516 (diff) | |
| download | nixpkgs-a99983b48baa81a32ab1d7686e10cf9fe71474fa.tar nixpkgs-a99983b48baa81a32ab1d7686e10cf9fe71474fa.tar.gz nixpkgs-a99983b48baa81a32ab1d7686e10cf9fe71474fa.tar.bz2 nixpkgs-a99983b48baa81a32ab1d7686e10cf9fe71474fa.tar.lz nixpkgs-a99983b48baa81a32ab1d7686e10cf9fe71474fa.tar.xz nixpkgs-a99983b48baa81a32ab1d7686e10cf9fe71474fa.tar.zst nixpkgs-a99983b48baa81a32ab1d7686e10cf9fe71474fa.zip | |
ocamlPackages.zarith: fix static cross
Diffstat (limited to 'pkgs/development/ocaml-modules')
| -rw-r--r-- | pkgs/development/ocaml-modules/zarith/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/development/ocaml-modules/zarith/default.nix b/pkgs/development/ocaml-modules/zarith/default.nix index eed6b158d4a..12523b7bc7d 100644 --- a/pkgs/development/ocaml-modules/zarith/default.nix +++ b/pkgs/development/ocaml-modules/zarith/default.nix @@ -17,9 +17,9 @@ stdenv.mkDerivation rec { sha256 = "1jslm1rv1j0ya818yh23wf3bb6hz7qqj9pn5fwl45y9mqyqa01s9"; }; - nativeBuildInputs = [ pkg-config ]; - buildInputs = [ ocaml findlib ]; + nativeBuildInputs = [ pkg-config ocaml findlib ]; propagatedBuildInputs = [ gmp ]; + strictDeps = true; dontAddPrefix = true; configureFlags = [ "-installdir ${placeholder "out"}/lib/ocaml/${ocaml.version}/site-lib" ]; |