From 58c7624ce077161b1b2479f4046f13cff7bf0f94 Mon Sep 17 00:00:00 2001 From: David Aspinall Date: Thu, 28 Nov 2002 12:54:10 +0000 Subject: Updated. --- Makefile | 9 ++++----- 1 file changed, 4 insertions(+), 5 deletions(-) (limited to 'Makefile') diff --git a/Makefile b/Makefile index 0f1e8f30..2aac5500 100644 --- a/Makefile +++ b/Makefile @@ -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 -- cgit v1.2.3