--- 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