--- a/src/CCL/IsaMakefile Thu Mar 20 11:09:01 1997 +0100
+++ b/src/CCL/IsaMakefile Thu Mar 20 11:11:53 1997 +0100
@@ -18,13 +18,13 @@
$(OUT)/CCL: $(OUT)/FOL $(SET_FILES) $(CCL_FILES)
- @$(ISABELLE) -e "make_html := $(ISABELLE_HTML);" -qu -c $(OUT)/FOL CCL
+ @$(ISATOOL) usedir -b -c $(OUT)/FOL CCL
@chmod -w $@
$(OUT)/FOL:
@cd ../FOL; $(ISATOOL) make
test: ex/ROOT.ML $(OUT)/CCL $(EX_FILES)
- @$(ISATOOL) testdir $(OUT)/CCL ex
+ @$(ISATOOL) usedir $(OUT)/CCL ex
.PRECIOUS: $(OUT)/FOL $(OUT)/CCL
--- a/src/FOL/IsaMakefile Thu Mar 20 11:09:01 1997 +0100
+++ b/src/FOL/IsaMakefile Thu Mar 20 11:11:53 1997 +0100
@@ -17,13 +17,13 @@
$(OUT)/FOL: $(OUT)/Pure $(FILES)
- @$(ISABELLE) -e "make_html := $(ISABELLE_HTML);" -qu $(OUT)/Pure FOL
+ @$(ISATOOL) usedir -b $(OUT)/Pure FOL
@chmod -w $@
$(OUT)/Pure:
@cd ../Pure; $(ISATOOL) make
test: ex/ROOT.ML $(OUT)/FOL $(EX_FILES)
- @$(ISATOOL) testdir $(OUT)/FOL ex
+ @$(ISATOOL) usedir $(OUT)/FOL ex
.PRECIOUS: $(OUT)/Pure $(OUT)/FOL
--- a/src/LCF/IsaMakefile Thu Mar 20 11:09:01 1997 +0100
+++ b/src/LCF/IsaMakefile Thu Mar 20 11:11:53 1997 +0100
@@ -8,14 +8,13 @@
FILES = ROOT.ML LCF.thy LCF.ML simpdata.ML pair.ML fix.ML
$(OUT)/LCF: $(OUT)/FOL $(FILES)
- @$(ISABELLE) -e "make_html := $(ISABELLE_HTML);" -qu -c $(OUT)/FOL LCF
+ @$(ISATOOL) usedir -b -c $(OUT)/FOL LCF
@chmod -w $@
$(OUT)/FOL:
@cd ../FOL; $(ISATOOL) make
-test: ex.ML $(OUT)/LCF
- @$(ISABELLE) -e 'make_html := $(ISABELLE_HTML); use"ex.ML"; quit();' \
- -rq $(OUT)/LCF
+test: ex/ROOT.ML ex/ex.ML $(OUT)/LCF
+ @$(ISATOOL) usedir $(OUT)/LCF ex
.PRECIOUS: $(OUT)/FOL $(OUT)/LCF