diff options
| author | David Aspinall | 2000-05-16 07:54:31 +0000 |
|---|---|---|
| committer | David Aspinall | 2000-05-16 07:54:31 +0000 |
| commit | b64623a44e6d7abbf44c590c8adcba29841bdb4f (patch) | |
| tree | 9b499fc6a5c90fe3416e660ce76ec0cb67f5efaa | |
| parent | ce7ed629d5d43cce6b3118cdbc6244c70b8e4113 (diff) | |
Added scripts target to edit Isabelle scripts, patch from Mike Squire.
| -rw-r--r-- | Makefile | 18 |
1 files changed, 16 insertions, 2 deletions
@@ -17,6 +17,7 @@ ELISP_DIRS = generic lego coq isa isar plastic demoisa hol98 BATCHEMACS=xemacs -batch -q -no-site-file PWD=$(shell pwd) +BASH_SCRIPTS = isa/interface isar/interface # FIXME: would rather set load path in Elisp, # but seems tricky to do only during compilation. @@ -38,7 +39,7 @@ ELC=$(EL:.el=.elc) ## but can have artefacts because of context between ## compiles. ## -compile: +compile: scripts @echo "*************************************************" @echo " Byte compiling..." @echo "*************************************************" @@ -54,7 +55,20 @@ all: $(ELC) ## ## -## +## + +scripts: + @(bash="`which bash`"; \ + if [ -z "$$bash" ]; then \ + echo "could not find bash!" >&2; \ + exit 1; \ + fi; \ + for i in $(BASH_SCRIPTS); do \ + sed "s|^#.*!.*/bin/bash.*$$|#!$$bash|" < $$i > .tmp \ + && cat .tmp > $$i; \ + done; \ + rm -f .tmp) + clean: rm -f $(ELC) *~ (cd doc; $(MAKE) clean) |