Merge pull request #407 from maggesi/proofgeneral_updates

Update ProofGeneral to version 4.2
This commit is contained in:
Peter Simons 2013-03-25 03:33:21 -07:00
commit 58211c125a

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;
@ -22,9 +22,6 @@ stdenv.mkDerivation (rec {
# @image{ProofGeneral} fails, so remove it. # @image{ProofGeneral} fails, so remove it.
sed -i '94d' doc/PG-adapting.texi sed -i '94d' doc/PG-adapting.texi
sed -i '101d' doc/ProofGeneral.texi sed -i '101d' doc/ProofGeneral.texi
# 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
''; '';
preBuild = '' preBuild = ''