| changeset 2821 | b1dcacc4bc26 |
| parent 2472 | e5b407ff3100 |
| child 2889 | a86f3b5f3cc7 |
--- 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