diff options
| author | V3n3RiX <venerix@redcorelinux.org> | 2018-07-14 20:56:41 +0100 |
|---|---|---|
| committer | V3n3RiX <venerix@redcorelinux.org> | 2018-07-14 20:56:41 +0100 |
| commit | d87262dd706fec50cd150aab3e93883b6337466d (patch) | |
| tree | 246b44c33ad7a57550430b0a60fa0df86a3c9e68 /app-emacs/proofgeneral/files | |
| parent | 71bc00c87bba1ce31de0dac6c3b7fd1aee6917fc (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, 0 insertions, 16 deletions
diff --git a/app-emacs/proofgeneral/files/50proofgeneral-gentoo.el b/app-emacs/proofgeneral/files/50proofgeneral-gentoo.el deleted file mode 100644 index 4839b17f1f58..000000000000 --- a/app-emacs/proofgeneral/files/50proofgeneral-gentoo.el +++ /dev/null @@ -1,2 +0,0 @@ -(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 deleted file mode 100644 index b34321bf392b..000000000000 --- a/app-emacs/proofgeneral/files/proofgeneral-4.2-bytecomp-warn.patch +++ /dev/null @@ -1,14 +0,0 @@ -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) - |