From 2674f9f53c05a72aad82bac1992c92201efa526e Mon Sep 17 00:00:00 2001
From: David Aspinall
Date: Tue, 27 Oct 1998 15:08:52 +0000
Subject: Improved ELC setting.  Added 'make all' target to compile .elcs
 separately.

---
 Makefile | 7 +++++--
 1 file changed, 5 insertions(+), 2 deletions(-)

diff --git a/Makefile b/Makefile
index 3e13d035..825404f7 100644
--- a/Makefile
+++ b/Makefile
@@ -27,14 +27,16 @@ PWD=$(shell pwd)
 BYTECOMP = $(EMACS) -batch -q -no-site-file -eval '(setq load-path (append (list "$(PWD)/generic" "$(PWD)/lego" "$(PWD)/coq" "$(PWD)/isa") load-path))' -f batch-byte-compile
 
 EL=$(shell for f in $(ELISP_DIRS); do ls $$f/*.el; done)
-ELC=$(shell for f in $(ELISP_DIRS); do ls $$f/*.elc 2>/dev/null; done)
+ELC=$(EL:.el=.elc)
 
 .SUFFIXES:	.el .elc
 
 ## 
 ## compile : byte compile files in working directory:
 ##           Clearout old .elc's and re-compile in a
-##           single Emacs process.
+##           single Emacs process.  This is faster than make all,
+##	     but can have artefacts because of context between
+##	     compiles.
 ##
 compile:
 	@echo "*************************************************"
@@ -45,6 +47,7 @@ compile:
 	@echo " Finished."
 	@echo "*************************************************"
 
+all:	$(ELC)
 
 .el.elc:
 	$(BYTECOMP) $*.el
-- 
cgit v1.2.3