diff options
author | Andres Löh <mail@andres-loeh.de> | 2008-06-04 15:10:05 +0000 |
---|---|---|
committer | Andres Löh <mail@andres-loeh.de> | 2008-06-04 15:10:05 +0000 |
commit | 12ca68d11447fc5e9d3163caf822b6e98b3a65af (patch) | |
tree | add4facdb92c31bbbdccbe527222011081ee2a30 /pkgs/applications/science/logic/coq | |
parent | 2991f9adefa06bf59a0e84a04ab363a4a2154d52 (diff) |
Added a preliminary expression for Coq (no IDE support yet).
svn path=/nixpkgs/trunk/; revision=11983
Diffstat (limited to 'pkgs/applications/science/logic/coq')
-rw-r--r-- | pkgs/applications/science/logic/coq/default.nix | 23 |
1 files changed, 23 insertions, 0 deletions
diff --git a/pkgs/applications/science/logic/coq/default.nix b/pkgs/applications/science/logic/coq/default.nix new file mode 100644 index 0000000000000..475c68f7b9cf0 --- /dev/null +++ b/pkgs/applications/science/logic/coq/default.nix @@ -0,0 +1,23 @@ +{stdenv, fetchurl, ocaml, ncurses}: + +stdenv.mkDerivation (rec { + + name = "coq-8.1pl3"; + src = fetchurl { + url = "http://coq.inria.fr/V8.1pl3/files/coq-8.1pl3.tar.gz"; + sha256 = "7f8f45594adff2625312c5ecb144cb00d39c99201dac309c9286b34d01a36bb6"; + }; + + buildInputs = [ocaml ncurses]; + + prefixKey = "-prefix "; + patchPhase = '' + UNAME=$(type -tp uname) + MV=$(type -tp mv) + RM=$(type -tp cp) + substituteInPlace ./configure --replace "/bin/uname" "$UNAME" + substituteInPlace Makefile --replace "/bin/mv" "$MV" \ + --replace "/bin/rm" "$RM" + ''; + +}) |