--- a/src/FOLP/IsaMakefile Thu Mar 20 11:23:19 1997 +0100
+++ b/src/FOLP/IsaMakefile Thu Mar 20 11:24:05 1997 +0100
@@ -14,13 +14,13 @@
ex/prop.ML ex/quant.ML
$(OUT)/FOLP: $(OUT)/Pure $(FILES)
- @$(ISABELLE) -e "make_html := $(ISABELLE_HTML);" -qu $(OUT)/Pure FOLP
+ @$(ISATOOL) usedir -b $(OUT)/Pure FOLP
@chmod -w $@
$(OUT)/Pure:
@cd ../Pure; $(ISATOOL) make
test: ex/ROOT.ML $(OUT)/FOLP $(EX_FILES)
- @$(ISATOOL) testdir $(OUT)/FOLP ex
+ @$(ISATOOL) usedir $(OUT)/FOLP ex
.PRECIOUS: $(OUT)/Pure $(OUT)/FOLP