isatool usedir;
authorwenzelm
Thu Mar 20 11:11:53 1997 +0100 (1997-03-20)
changeset 2821b1dcacc4bc26
parent 2820 6303966dce96
child 2822 50bac845de6f
isatool usedir;
src/CCL/IsaMakefile
src/FOL/IsaMakefile
src/LCF/IsaMakefile
     1.1 --- a/src/CCL/IsaMakefile	Thu Mar 20 11:09:01 1997 +0100
     1.2 +++ b/src/CCL/IsaMakefile	Thu Mar 20 11:11:53 1997 +0100
     1.3 @@ -18,13 +18,13 @@
     1.4  
     1.5  
     1.6  $(OUT)/CCL: $(OUT)/FOL $(SET_FILES) $(CCL_FILES)
     1.7 -	@$(ISABELLE) -e "make_html := $(ISABELLE_HTML);" -qu -c $(OUT)/FOL CCL
     1.8 +	@$(ISATOOL) usedir -b -c $(OUT)/FOL CCL
     1.9  	@chmod -w $@
    1.10  
    1.11  $(OUT)/FOL:
    1.12  	@cd ../FOL; $(ISATOOL) make
    1.13  
    1.14  test: ex/ROOT.ML $(OUT)/CCL $(EX_FILES)
    1.15 -	@$(ISATOOL) testdir $(OUT)/CCL ex
    1.16 +	@$(ISATOOL) usedir $(OUT)/CCL ex
    1.17  
    1.18  .PRECIOUS: $(OUT)/FOL $(OUT)/CCL
     2.1 --- a/src/FOL/IsaMakefile	Thu Mar 20 11:09:01 1997 +0100
     2.2 +++ b/src/FOL/IsaMakefile	Thu Mar 20 11:11:53 1997 +0100
     2.3 @@ -17,13 +17,13 @@
     2.4  
     2.5  
     2.6  $(OUT)/FOL: $(OUT)/Pure $(FILES)
     2.7 -	@$(ISABELLE) -e "make_html := $(ISABELLE_HTML);" -qu $(OUT)/Pure FOL
     2.8 +	@$(ISATOOL) usedir -b $(OUT)/Pure FOL
     2.9  	@chmod -w $@
    2.10  
    2.11  $(OUT)/Pure:
    2.12  	@cd ../Pure; $(ISATOOL) make
    2.13  
    2.14  test: ex/ROOT.ML $(OUT)/FOL $(EX_FILES)
    2.15 -	@$(ISATOOL) testdir $(OUT)/FOL ex
    2.16 +	@$(ISATOOL) usedir $(OUT)/FOL ex
    2.17  
    2.18  .PRECIOUS: $(OUT)/Pure $(OUT)/FOL
     3.1 --- a/src/LCF/IsaMakefile	Thu Mar 20 11:09:01 1997 +0100
     3.2 +++ b/src/LCF/IsaMakefile	Thu Mar 20 11:11:53 1997 +0100
     3.3 @@ -8,14 +8,13 @@
     3.4  FILES =	ROOT.ML LCF.thy LCF.ML simpdata.ML pair.ML fix.ML
     3.5  
     3.6  $(OUT)/LCF: $(OUT)/FOL $(FILES)
     3.7 -	@$(ISABELLE) -e "make_html := $(ISABELLE_HTML);" -qu -c $(OUT)/FOL LCF
     3.8 +	@$(ISATOOL) usedir -b -c $(OUT)/FOL LCF
     3.9  	@chmod -w $@
    3.10  
    3.11  $(OUT)/FOL:
    3.12  	@cd ../FOL; $(ISATOOL) make
    3.13  
    3.14 -test: ex.ML $(OUT)/LCF
    3.15 -	@$(ISABELLE) -e 'make_html := $(ISABELLE_HTML); use"ex.ML"; quit();' \
    3.16 -	  -rq $(OUT)/LCF
    3.17 +test: ex/ROOT.ML ex/ex.ML $(OUT)/LCF
    3.18 +	@$(ISATOOL) usedir $(OUT)/LCF ex
    3.19  
    3.20  .PRECIOUS: $(OUT)/FOL $(OUT)/LCF