diff options
| author | Karn Kallio <tierpluspluslists@gmail.com> | 2012-06-12 21:51:53 +0000 |
|---|---|---|
| committer | Karn Kallio <tierpluspluslists@gmail.com> | 2012-06-12 21:51:53 +0000 |
| commit | c89f37078dd0a784eefc1dc9fa7ce8cf9a995280 (patch) | |
| tree | 58c4f1b81a9dd4ace0da62f1e5c3532ab5f63cbd | |
| parent | 20db3374cf9d6e6f36b242b383cad7d1e20861b5 (diff) | |
| download | nixlib-c89f37078dd0a784eefc1dc9fa7ce8cf9a995280.tar nixlib-c89f37078dd0a784eefc1dc9fa7ce8cf9a995280.tar.gz nixlib-c89f37078dd0a784eefc1dc9fa7ce8cf9a995280.tar.bz2 nixlib-c89f37078dd0a784eefc1dc9fa7ce8cf9a995280.tar.lz nixlib-c89f37078dd0a784eefc1dc9fa7ce8cf9a995280.tar.xz nixlib-c89f37078dd0a784eefc1dc9fa7ce8cf9a995280.tar.zst nixlib-c89f37078dd0a784eefc1dc9fa7ce8cf9a995280.zip | |
Make ProofGeneral build with Emacs 24.
svn path=/nixpkgs/trunk/; revision=34485
| -rw-r--r-- | pkgs/applications/editors/emacs-modes/proofgeneral/default.nix | 3 |
1 files changed, 3 insertions, 0 deletions
diff --git a/pkgs/applications/editors/emacs-modes/proofgeneral/default.nix b/pkgs/applications/editors/emacs-modes/proofgeneral/default.nix index 34acaa6d8807..18c16569cf8e 100644 --- a/pkgs/applications/editors/emacs-modes/proofgeneral/default.nix +++ b/pkgs/applications/editors/emacs-modes/proofgeneral/default.nix @@ -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 = '' |