diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2017-10-09 18:53:29 +0100 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2017-10-09 18:53:29 +0100 |
commit | 4f2d7949f03e1c198bc888f2d05f421d35c57e21 (patch) | |
tree | ba5f07bf3f9d22d82e54a462313f5d244036c768 /app-emacs/proofgeneral/files |
reinit the tree, so we can have metadata
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) + |