# HG changeset patch
# User wenzelm
# Date 858852713 -3600
# Node ID b1dcacc4bc26e0254f766a7d41e48b690d10b552
# Parent  6303966dce9629bc63ee6478c40d71a3d86ac544
isatool usedir;

diff -r 6303966dce96 -r b1dcacc4bc26 src/CCL/IsaMakefile
--- 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
diff -r 6303966dce96 -r b1dcacc4bc26 src/FOL/IsaMakefile
--- 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
diff -r 6303966dce96 -r b1dcacc4bc26 src/LCF/IsaMakefile
--- 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