From c00d5fc25c002dc6eedb273c5f3ec856f73452ab Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Mon, 3 Mar 2003 21:22:37 +0000
Subject: Add mmm.  Ignore byte compile errors

---
 Makefile | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 61c01ad2..a11e9c0b 100644
--- a/Makefile
+++ b/Makefile
@@ -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)
 
 
 ##
-- 
cgit v1.2.3