diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 1998-10-27 15:08:52 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 1998-10-27 15:08:52 +0000 |
| commit | 2674f9f53c05a72aad82bac1992c92201efa526e (patch) | |
| tree | 8aef7b3b3660f84947c32e945de9d175506f457a /Makefile | |
| parent | 87ee0168ba6f365cd99996386690d63009665178 (diff) | |
Improved ELC setting. Added 'make all' target to compile .elcs separately.
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 7 |
1 files changed, 5 insertions, 2 deletions
@@ -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 |