diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2014-11-07 09:50:39 +0000 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2014-11-07 09:50:39 +0000 |
commit | fbbd88017f1eafae02202f89d8ce28a52a221ba1 (patch) | |
tree | f8fdcab0c51107be526ff5578b3d36db9d7ae9ca | |
parent | 8baab59b986c01eab35832fa209653ea4b7e3f70 (diff) | |
download | nixlib-fbbd88017f1eafae02202f89d8ce28a52a221ba1.tar nixlib-fbbd88017f1eafae02202f89d8ce28a52a221ba1.tar.gz nixlib-fbbd88017f1eafae02202f89d8ce28a52a221ba1.tar.bz2 nixlib-fbbd88017f1eafae02202f89d8ce28a52a221ba1.tar.lz nixlib-fbbd88017f1eafae02202f89d8ce28a52a221ba1.tar.xz nixlib-fbbd88017f1eafae02202f89d8ce28a52a221ba1.tar.zst nixlib-fbbd88017f1eafae02202f89d8ce28a52a221ba1.zip |
zarith: propagate build input gmp
-rw-r--r-- | pkgs/applications/science/logic/alt-ergo/default.nix | 4 | ||||
-rw-r--r-- | pkgs/development/ocaml-modules/zarith/default.nix | 3 | ||||
-rw-r--r-- | pkgs/development/tools/analysis/frama-c/default.nix | 4 |
3 files changed, 6 insertions, 5 deletions
diff --git a/pkgs/applications/science/logic/alt-ergo/default.nix b/pkgs/applications/science/logic/alt-ergo/default.nix index 62359baf2bc6..ca1602d6e58e 100644 --- a/pkgs/applications/science/logic/alt-ergo/default.nix +++ b/pkgs/applications/science/logic/alt-ergo/default.nix @@ -1,4 +1,4 @@ -{ fetchurl, stdenv, ocaml, ocamlPackages, gmp }: +{ fetchurl, stdenv, ocaml, ocamlPackages }: stdenv.mkDerivation rec { name = "alt-ergo-${version}"; @@ -11,7 +11,7 @@ stdenv.mkDerivation rec { }; buildInputs = with ocamlPackages; - [ ocaml findlib ocamlgraph zarith lablgtk gmp ]; + [ ocaml findlib ocamlgraph zarith lablgtk ]; meta = { description = "High-performance theorem prover and SMT solver"; diff --git a/pkgs/development/ocaml-modules/zarith/default.nix b/pkgs/development/ocaml-modules/zarith/default.nix index 2f679da977d7..ccd278a2faaf 100644 --- a/pkgs/development/ocaml-modules/zarith/default.nix +++ b/pkgs/development/ocaml-modules/zarith/default.nix @@ -15,7 +15,8 @@ stdenv.mkDerivation rec { sha256 = "1mx3nxcn5h33qhx4gbg0hgvvydwlwdvdhqcnvfwnmf9jy3b8frll"; }; - buildInputs = [ ocaml findlib pkgconfig gmp perl ]; + buildInputs = [ ocaml findlib pkgconfig perl ]; + propagatedBuildInputs = [ gmp ]; patchPhase = '' substituteInPlace ./z_pp.pl --replace '/usr/bin/perl' '${perl}/bin/perl' diff --git a/pkgs/development/tools/analysis/frama-c/default.nix b/pkgs/development/tools/analysis/frama-c/default.nix index baa63855a0af..9e2f310b8a11 100644 --- a/pkgs/development/tools/analysis/frama-c/default.nix +++ b/pkgs/development/tools/analysis/frama-c/default.nix @@ -1,5 +1,5 @@ { stdenv, fetchurl, ncurses, ocamlPackages, graphviz -, ltl2ba, coq, alt-ergo, gmp, why3 }: +, ltl2ba, coq, alt-ergo, why3 }: stdenv.mkDerivation rec { name = "frama-c-${version}"; @@ -17,7 +17,7 @@ stdenv.mkDerivation rec { }; buildInputs = with ocamlPackages; [ - ncurses ocaml findlib alt-ergo ltl2ba ocamlgraph gmp + ncurses ocaml findlib alt-ergo ltl2ba ocamlgraph lablgtk coq graphviz zarith why3 zarith ]; |