alioth/nixpkgs
3
0
Fork 0
forked from mirrors/nixpkgs
Code Releases Activity

Make ProofGeneral build with Emacs 24.

Browse source 
svn path=/nixpkgs/trunk/; revision=34485
This commit is contained in:
Karn Kallio 2012-06-12 21:51:53 +00:00
parent 20db3374cf
commit c89f37078d
1 changed files with 3 additions and 0 deletions
Show stats Download patch file Download diff file Expand all files Collapse all files

3
pkgs/applications/editors/emacs-modes/proofgeneral/default.nix
View file

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