From 6916d5fee6a48b6548e91e133724cfef07f6988b Mon Sep 17 00:00:00 2001
From: David Aspinall <da@inf.ed.ac.uk>
Date: Wed, 17 Nov 1999 13:56:44 +0000
Subject: Add *.xemacs targets

---
 Makefile | 14 +++++++++-----
 1 file changed, 9 insertions(+), 5 deletions(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 4cc23298..aa397173 100644
--- a/Makefile
+++ b/Makefile
@@ -3,19 +3,17 @@
 ## 
 ## Author:  David Aspinall <da@dcs.ed.ac.uk>
 ##
-## Maintainer:  Proof General maintainer <proofgen@dcs.ed.ac.uk>
-##
-##
 ##  make compile	- make .elc's in a single session
 ##  make all		- make .elc's in separate sessions
 ##
-##
 ## $Id$
 ## 
 ###########################################################################
 
 
 ELISP_DIRS = generic lego coq isa isar plastic demoisa
+# FIXME: automate the emacs choice to be xemacs if it can be
+# found, otherwise emacs.
 EMACS = xemacs
 
 PWD=$(shell pwd)
@@ -26,7 +24,7 @@ PWD=$(shell pwd)
 # output the compile-time load path and
 # ELISP_DIRS so these are set just in that one
 # place.
-BYTECOMP = $(EMACS) -batch -q -no-site-file -eval '(setq load-path (append (list "$(PWD)/generic" "$(PWD)/lego" "$(PWD)/coq" "$(PWD)/isa" "$(PWD)/isar") load-path))' -f batch-byte-compile
+BYTECOMP = $(EMACS) -batch -q -no-site-file -eval '(setq load-path (append (list "$(PWD)/generic" "$(PWD)/lego" "$(PWD)/coq" "$(PWD)/isa" "$(PWD)/isar" "$(PWD)/plastic") load-path))' -f batch-byte-compile
 
 EL=$(shell for f in $(ELISP_DIRS); do ls $$f/*.el; done)
 ELC=$(EL:.el=.elc)
@@ -71,6 +69,12 @@ clean:
 devel.%:
 	make -f Makefile.devel $*
 
+##
+## Similarly for xemacs Makefile.
+##
+
+xemacs.%:
+	make -f Makefile.xemacs $*
 
 
 
-- 
cgit v1.2.3