| 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) |
| |