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 /pkgs/applications/science | |
| 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
Diffstat (limited to 'pkgs/applications/science')
| -rw-r--r-- | pkgs/applications/science/logic/alt-ergo/default.nix | 4 |
1 files changed, 2 insertions, 2 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"; |