src/ZF/IsaMakefile
changeset 2828 13136dc7b9d0
parent 2500 777c90aa20b2
child 3057 a5a42ff18a40
     1.1 --- a/src/ZF/IsaMakefile	Thu Mar 20 11:38:58 1997 +0100
     1.2 +++ b/src/ZF/IsaMakefile	Thu Mar 20 11:39:40 1997 +0100
     1.3 @@ -21,7 +21,7 @@
     1.4  	$(NAMES:%=%.thy) $(NAMES:%=%.ML)
     1.5  
     1.6  $(OUT)/ZF: $(OUT)/FOL $(FILES)
     1.7 -	@$(ISABELLE) -e "make_html := $(ISABELLE_HTML);" -qu -c $(OUT)/FOL ZF
     1.8 +	@$(ISATOOL) usedir -b -c $(OUT)/FOL ZF
     1.9  	@chmod -w $@
    1.10  
    1.11  $(OUT)/FOL:
    1.12 @@ -37,7 +37,7 @@
    1.13  IMP_FILES = IMP/ROOT.ML $(IMP_NAMES:%=IMP/%.thy) $(IMP_NAMES:%=IMP/%.ML)
    1.14  
    1.15  IMP: $(OUT)/ZF $(IMP_FILES)
    1.16 -	@$(ISATOOL) testdir $(OUT)/ZF IMP
    1.17 +	@$(ISATOOL) usedir $(OUT)/ZF IMP
    1.18  
    1.19  
    1.20  ## Coinduction example
    1.21 @@ -48,7 +48,7 @@
    1.22  	      $(COIND_NAMES:%=Coind/%.thy) $(COIND_NAMES:%=Coind/%.ML)
    1.23  
    1.24  Coind: $(OUT)/ZF $(COIND_FILES)
    1.25 -	@$(ISATOOL) testdir $(OUT)/ZF Coind
    1.26 +	@$(ISATOOL) usedir $(OUT)/ZF Coind
    1.27  
    1.28  
    1.29  ## AC examples
    1.30 @@ -64,7 +64,7 @@
    1.31  	   $(AC_NAMES:%=AC/%.thy) $(AC_NAMES:%=AC/%.ML)
    1.32  
    1.33  AC: $(OUT)/ZF $(AC_FILES)
    1.34 -	@$(ISATOOL) testdir $(OUT)/ZF AC
    1.35 +	@$(ISATOOL) usedir $(OUT)/ZF AC
    1.36  
    1.37  
    1.38  ## Residuals example
    1.39 @@ -75,7 +75,7 @@
    1.40  RESID_FILES = Resid/ROOT.ML $(RESID_NAMES:%=Resid/%.thy) $(RESID_NAMES:%=Resid/%.ML)
    1.41  
    1.42  Resid: $(OUT)/ZF $(RESID_FILES)
    1.43 -	@$(ISATOOL) testdir $(OUT)/ZF Resid
    1.44 +	@$(ISATOOL) usedir $(OUT)/ZF Resid
    1.45  
    1.46  
    1.47  ## Miscellaneous examples
    1.48 @@ -86,7 +86,7 @@
    1.49  EX_FILES = ex/ROOT.ML ex/misc.ML $(EX_NAMES:%=ex/%.thy) $(EX_NAMES:%=ex/%.ML)
    1.50  
    1.51  ex: $(OUT)/ZF $(EX_FILES)
    1.52 -	@$(ISATOOL) testdir $(OUT)/ZF ex
    1.53 +	@$(ISATOOL) usedir $(OUT)/ZF ex
    1.54  
    1.55  
    1.56  ## Full test