diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2002-11-28 12:54:10 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2002-11-28 12:54:10 +0000 |
commit | 58c7624ce077161b1b2479f4046f13cff7bf0f94 (patch) | |
tree | 54abaced30f46b6e92e3ab637e813ec08765f7b1 /Makefile | |
parent | 9745166a90f6bca9b081ea9889e9447f69c0b4ff (diff) |
Updated.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 9 |
1 files changed, 4 insertions, 5 deletions
@@ -33,11 +33,10 @@ BYTECOMP = $(BATCHEMACS) -eval '(setq load-path (append (mapcar (lambda (d) (con EL=$(shell for f in $(ELISP_DIRS); do ls $$f/*.el; done) ELC=$(EL:.el=.elc) -# These files may work now, but BC is not yet guaranteed in 3.4. -# [currently broken for prover instances] -# proof-toolbar.elc proof-menu.elc proof-indent.elc proof-x-symbol.elc -BROKENELC=proof-menu.elc # easy-menu-define expanded too early. -# NB: calls to proof-defshortcut also broken, evaluates define-key. +# Some parts of code were not compile safe, because of macros +# being expanded too early (e.g. proof-defshortcut, easy-menu-define) +# This should be fixed for 3.5, although careful testing is required. +BROKENELC= .SUFFIXES: .el .elc |