public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Update ProofGeneral to version 4.2

Browse Source
This commit is contained in:
Marco Maggesi 2013-03-19 14:49:45 +01:00
parent 265fea5788
commit cd3caeaf8f
1 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

8
pkgs/applications/editors/emacs-modes/proofgeneral/default.nix
View File

@ -1,11 +1,11 @@
{ stdenv, fetchurl, emacs, texinfo, texLive, perl, which, automake }: { stdenv, fetchurl, emacs, texinfo, texLive, perl, which, automake }:
stdenv.mkDerivation (rec { stdenv.mkDerivation (rec {
name = "ProofGeneral-4.1"; name = "ProofGeneral-4.2";
src = fetchurl { src = fetchurl {
url = http://proofgeneral.inf.ed.ac.uk/releases/ProofGeneral-4.1.tgz; url = http://proofgeneral.inf.ed.ac.uk/releases/ProofGeneral-4.2.tgz;
sha256 = "1ivxx8c6j7cfdfj2pj0gzdqac7hpb679bjmwdqdcz1c1ni34s9ia"; sha256 = "09qb0myq66fw17v4ziz401ilsb5xlxz1nl2wsp69d0vrfy0bcrrm";
}; };
sourceRoot = name; sourceRoot = name;
@ -24,7 +24,7 @@ stdenv.mkDerivation (rec {
sed -i '101d' doc/ProofGeneral.texi sed -i '101d' doc/ProofGeneral.texi
# Emacs 24 compatibility. # Emacs 24 compatibility.
sed -i 's|interactive-p|called-interactively-p '\'''any|' isar/isabelle-system.el generic/proof-{menu,script,splash}.el lib/scomint.el #sed -i 's|interactive-p|called-interactively-p '\'''any|' isar/isabelle-system.el generic/proof-{menu,script,splash}.el lib/scomint.el
''; '';
preBuild = '' preBuild = ''