diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2018-07-14 21:03:06 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2018-07-14 21:03:06 +0100 |
| commit | 8376ef56580626e9c0f796d5b85b53a0a1c7d5f5 (patch) | |
| tree | 7681bbd4e8b05407772df40a4bf04cbbc8afc3fa /app-emacs/proofgeneral/files | |
| parent | 30a9caf154332f12ca60756e1b75d2f0e3e1822d (diff) | |
gentoo resync : 14.07.2018
Diffstat (limited to 'app-emacs/proofgeneral/files')
| -rw-r--r-- | app-emacs/proofgeneral/files/50proofgeneral-gentoo.el | 2 | ||||
| -rw-r--r-- | app-emacs/proofgeneral/files/proofgeneral-4.2-bytecomp-warn.patch | 14 |
2 files changed, 16 insertions, 0 deletions
diff --git a/app-emacs/proofgeneral/files/50proofgeneral-gentoo.el b/app-emacs/proofgeneral/files/50proofgeneral-gentoo.el new file mode 100644 index 000000000000..4839b17f1f58 --- /dev/null +++ b/app-emacs/proofgeneral/files/50proofgeneral-gentoo.el @@ -0,0 +1,2 @@ +(add-to-list 'load-path "@SITELISP@/generic") +(require 'proof-site) 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) + |