diff options
| author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2015-06-25 02:04:23 +0200 |
|---|---|---|
| committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2015-06-25 08:55:31 +0200 |
| commit | 1d72ce49cf8d6c4d68360b113513d1d87ce66d61 (patch) | |
| tree | 514aae03954e69814a9be9354080cc4b6b57c25e /pkgs/applications | |
| parent | 2727ecec3744e5c271c0040f94ca436068b309a1 (diff) | |
| download | nixlib-1d72ce49cf8d6c4d68360b113513d1d87ce66d61.tar nixlib-1d72ce49cf8d6c4d68360b113513d1d87ce66d61.tar.gz nixlib-1d72ce49cf8d6c4d68360b113513d1d87ce66d61.tar.bz2 nixlib-1d72ce49cf8d6c4d68360b113513d1d87ce66d61.tar.lz nixlib-1d72ce49cf8d6c4d68360b113513d1d87ce66d61.tar.xz nixlib-1d72ce49cf8d6c4d68360b113513d1d87ce66d61.tar.zst nixlib-1d72ce49cf8d6c4d68360b113513d1d87ce66d61.zip | |
coq-8.3: fix (needs make 3)
Diffstat (limited to 'pkgs/applications')
| -rw-r--r-- | pkgs/applications/science/logic/coq/8.3.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/applications/science/logic/coq/8.3.nix b/pkgs/applications/science/logic/coq/8.3.nix index 63aaa02e67a3..c59c4b062708 100644 --- a/pkgs/applications/science/logic/coq/8.3.nix +++ b/pkgs/applications/science/logic/coq/8.3.nix @@ -1,6 +1,6 @@ # - coqide compilation can be disabled by setting lablgtk to null; -{stdenv, fetchurl, ocaml, findlib, camlp5, ncurses, lablgtk ? null}: +{ stdenv, make, fetchurl, ocaml, findlib, camlp5, ncurses, lablgtk ? null }: let version = "8.3pl4"; @@ -21,7 +21,7 @@ stdenv.mkDerivation { sha256 = "17d3lmchmqir1rawnr52g78srg4wkd7clzpzfsivxc4y1zp6rwkr"; }; - buildInputs = [ ocaml findlib camlp5 ncurses lablgtk ]; + buildInputs = [ make ocaml findlib camlp5 ncurses lablgtk ]; prefixKey = "-prefix "; |