diff options
author | Marco Maggesi <maggesi@math.unifi.it> | 2009-12-11 16:18:27 +0000 |
---|---|---|
committer | Marco Maggesi <maggesi@math.unifi.it> | 2009-12-11 16:18:27 +0000 |
commit | 218bdaf214b13cdd01de00ca00285e36a718e72a (patch) | |
tree | c866fd32bdf63ab92d6ac1846f1dd4c4a7dbfa94 /pkgs/applications | |
parent | f7fb37244040fd1c3e098cf268b3318fccb3af78 (diff) | |
download | nixlib-218bdaf214b13cdd01de00ca00285e36a718e72a.tar nixlib-218bdaf214b13cdd01de00ca00285e36a718e72a.tar.gz nixlib-218bdaf214b13cdd01de00ca00285e36a718e72a.tar.bz2 nixlib-218bdaf214b13cdd01de00ca00285e36a718e72a.tar.lz nixlib-218bdaf214b13cdd01de00ca00285e36a718e72a.tar.xz nixlib-218bdaf214b13cdd01de00ca00285e36a718e72a.tar.zst nixlib-218bdaf214b13cdd01de00ca00285e36a718e72a.zip |
Add expression for ProofGeneral
svn path=/nixpkgs/trunk/; revision=18904
Diffstat (limited to 'pkgs/applications')
-rw-r--r-- | pkgs/applications/editors/emacs-modes/proofgeneral/default.nix | 42 |
1 files changed, 42 insertions, 0 deletions
diff --git a/pkgs/applications/editors/emacs-modes/proofgeneral/default.nix b/pkgs/applications/editors/emacs-modes/proofgeneral/default.nix new file mode 100644 index 000000000000..fe02132698a3 --- /dev/null +++ b/pkgs/applications/editors/emacs-modes/proofgeneral/default.nix @@ -0,0 +1,42 @@ +{ stdenv, fetchurl, emacs, perl }: + +let + pname = "ProofGeneral"; + version = "3.7.1.1"; + name = "${pname}-${version}"; + website = "http://proofgeneral.inf.ed.ac.uk"; +in + +stdenv.mkDerivation { + inherit name; + + src = fetchurl { + url = "http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/contrib/${name}.tar.gz"; + sha256 = "ae430590d6763618df50a662a37f0627d3c3c8f31372f6f0bb2116b738fc92d8"; + }; + + buildInputs = [ emacs perl ]; + + sourceRoot = name; + + postPatch = "EMACS=emacs make clean"; + + # Skip building ... + buildPhase = "true"; + + installPhase = '' + DEST=$out/share/emacs/site-lisp/ProofGeneral + ensureDir $DEST + cp -a * $DEST + ''; + + meta = { + description = "A generic front-end for proof assistants"; + longDescription = '' + Proof General is a generic front-end for proof assistants (also known as + interactive theorem provers), based on the customizable text editor Emacs. + ''; + homepage = website; + license = "GPL"; + }; +} |