| changeset 2821 | b1dcacc4bc26 |
| parent 2489 | 7834b2677551 |
| child 3057 | a5a42ff18a40 |
--- 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