diff options
author | David Aspinall <da@inf.ed.ac.uk> | 2003-03-03 21:22:37 +0000 |
---|---|---|
committer | David Aspinall <da@inf.ed.ac.uk> | 2003-03-03 21:22:37 +0000 |
commit | c00d5fc25c002dc6eedb273c5f3ec856f73452ab (patch) | |
tree | 062211e46ab1cf59869bb99b6e4b9efe0cfaf0e9 /Makefile | |
parent | 35efbaa1f74d90b5035365b6ce26477cb8f562a2 (diff) |
Add mmm. Ignore byte compile errors
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 8 |
1 files changed, 6 insertions, 2 deletions
@@ -14,7 +14,7 @@ ########################################################################### -ELISP_DIRS = generic lego coq isa isar plastic demoisa hol98 phox twelf acl2 +ELISP_DIRS = generic lego coq isa isar plastic demoisa hol98 phox twelf acl2 mmm # FIXME: automate the emacs choice to be xemacs if it can be # found, otherwise emacs. BATCHEMACS=xemacs -batch -q -no-site-file @@ -55,8 +55,11 @@ compile: @echo " Byte compiling..." @echo "*************************************************" rm -f $(ELC) - $(BYTECOMP) $(EL) +## ignore errors for now: some files still have probs [x-symbol induced] + -$(BYTECOMP) $(EL) rm -f $(BROKENELC) + @echo " Byte compiling X-Symbol..." + (cd x-symbol/lisp; rm -f *.elc; $(MAKE)) @echo "*************************************************" @echo " Finished." @echo "*************************************************" @@ -99,6 +102,7 @@ perlscripts: clean: rm -f $(ELC) *~ */*~ .\#* */.\#* (cd doc; $(MAKE) clean) + (cd x-symbol/lisp; $(MAKE) clean) ## |