diff options
| author |   Ulrich Müller <ulm@gentoo.org> | 2013-04-22 19:42:24 +0000 |
|---|---|---|
| committer | Ulrich Müller <ulm@gentoo.org> | 2013-04-22 19:42:24 +0000 |
| commit | 5659fa7eb5149f3574b1a94292f84f3d69dc6b3f (patch) | |
| tree | 736ecdff633f1e3f43546366aa19621804772de8 /app-emacs/proofgeneral/files | |
| parent | Version bump (diff) | |
| download | historical-5659fa7eb5149f3574b1a94292f84f3d69dc6b3f.tar.gz historical-5659fa7eb5149f3574b1a94292f84f3d69dc6b3f.tar.bz2 historical-5659fa7eb5149f3574b1a94292f84f3d69dc6b3f.zip | |
Version bump, bug 445242. Remove old.
Package-Manager: portage-2.1.11.62/cvs/Linux x86_64
Manifest-Sign-Key: 0x9433907D693FB5B8!
Diffstat (limited to 'app-emacs/proofgeneral/files')
| -rw-r--r-- | app-emacs/proofgeneral/files/proofgeneral-4.2-bytecomp-warn.patch | 14 |
1 files changed, 14 insertions, 0 deletions
diff --git a/app-emacs/proofgeneral/files/proofgeneral-4.2-bytecomp-warn.patch b/app-emacs/proofgeneral/files/proofgeneral-4.2-bytecomp-warn.patch new file mode 100644 index 000000000000..b34321bf392b --- /dev/null +++ b/app-emacs/proofgeneral/files/proofgeneral-4.2-bytecomp-warn.patch @@ -0,0 +1,14 @@ +https://bugs.gentoo.org/445242 +http://proofgeneral.inf.ed.ac.uk/trac/ticket/458 + +--- ProofGeneral-4.2-orig/Makefile ++++ ProofGeneral-4.2/Makefile +@@ -62,7 +62,7 @@ + # only during compilation. Another idea: put a function in proof-site + # to output the compile-time load path and ELISP_DIRS so these are set + # just in that one place. +-BYTECOMP = $(BATCHEMACS) -eval '(setq load-path (append (mapcar (lambda (d) (concat "${PWD}/" (symbol-name d))) (quote (${ELISP_DIRS}))) load-path))' -eval '(progn (require (quote bytecomp)) (require (quote mouse)) (require (quote tool-bar)) (require (quote fontset)) (setq byte-compile-warnings (remove (quote cl-functions) (remove (quote noruntime) byte-compile-warning-types))) (setq byte-compile-error-on-warn t))' -f batch-byte-compile ++BYTECOMP = $(BATCHEMACS) -eval '(setq load-path (append (mapcar (lambda (d) (concat "${PWD}/" (symbol-name d))) (quote (${ELISP_DIRS}))) load-path))' -eval '(progn (require (quote bytecomp)) (require (quote mouse)) (require (quote tool-bar)) (require (quote fontset)))' -f batch-byte-compile + EL=$(shell for f in $(ELISP_DIRS); do ls $$f/*.el; done) + ELC=$(EL:.el=.elc) + |