From d9aa18843b5d6e9e516b3362600339450605375d Mon Sep 17 00:00:00 2001 From: Marco Maggesi Date: Tue, 23 Apr 2013 14:09:10 +0200 Subject: [PATCH] ProofGeneral: Workaround for bug #458 "ProofGeneral 4.2 byte-compilation fails with Emacs 24.2.90" http://proofgeneral.inf.ed.ac.uk/trac/ticket/458 --- .../editors/emacs-modes/proofgeneral/default.nix | 7 +++++++ 1 file changed, 7 insertions(+) diff --git a/pkgs/applications/editors/emacs-modes/proofgeneral/default.nix b/pkgs/applications/editors/emacs-modes/proofgeneral/default.nix index 6ac698ed75f..3f974423fd7 100644 --- a/pkgs/applications/editors/emacs-modes/proofgeneral/default.nix +++ b/pkgs/applications/editors/emacs-modes/proofgeneral/default.nix @@ -17,6 +17,13 @@ stdenv.mkDerivation (rec { -e "s|^\(\(DEST_\)\?PREFIX\)=.*$|\1=$out|g ; \ s|/sbin/install-info|install-info|g" + + # Workaround for bug #458 + # ProofGeneral 4.2 byte-compilation fails with Emacs 24.2.90 + # http://proofgeneral.inf.ed.ac.uk/trac/ticket/458 + sed -i "Makefile" \ + -e "s|(setq byte-compile-error-on-warn t)||g" + sed -i "bin/proofgeneral" -e's/which/type -p/g' # @image{ProofGeneral} fails, so remove it.