diff options
| author |  David Aspinall <da@inf.ed.ac.uk> | 2000-05-09 10:07:53 +0000 |
|---|---|---|
| committer | David Aspinall <da@inf.ed.ac.uk> | 2000-05-09 10:07:53 +0000 |
| commit | 764e0f556a61fadbebcad80acd69e4a6e3d53a85 (patch) | |
| tree | 77000b41f47492f806bd00eb10412e04d7ce4042 /Makefile | |
| parent | 6ceecb58ef0194979cca9dbc47bdc823d636739d (diff) | |
EMACS -> BATCHEMACS var
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
@@ -14,7 +14,7 @@ ELISP_DIRS = generic lego coq isa isar plastic demoisa hol98 # FIXME: automate the emacs choice to be xemacs if it can be # found, otherwise emacs. -EMACS = xemacs +BATCHEMACS=xemacs -batch -q -no-site-file PWD=$(shell pwd) @@ -24,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" "$(PWD)/plastic") load-path))' -f batch-byte-compile +BYTECOMP = $(BATCHEMACS) -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) |