src/ZF/IsaMakefile
changeset 4447 b7ee449eb345
parent 3505 1cb4ea47d967
child 4518 74c01296e818
     1.1 --- a/src/ZF/IsaMakefile	Fri Dec 19 10:18:03 1997 +0100
     1.2 +++ b/src/ZF/IsaMakefile	Fri Dec 19 10:18:58 1997 +0100
     1.3 @@ -7,6 +7,7 @@
     1.4  #### Base system
     1.5  
     1.6  OUT = $(ISABELLE_OUTPUT)
     1.7 +LOG = $(OUT)/log
     1.8  
     1.9  NAMES = ZF upair subset pair domrange \
    1.10  	func AC equalities Bool \
    1.11 @@ -35,7 +36,7 @@
    1.12  IMP_NAMES = Com Denotation Equiv
    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 +$(LOG)/ZF-IMP.gz: $(OUT)/ZF $(IMP_FILES)
    1.17  	@$(ISATOOL) usedir $(OUT)/ZF IMP
    1.18  
    1.19  
    1.20 @@ -46,7 +47,7 @@
    1.21  COIND_FILES = Coind/ROOT.ML Coind/Language.thy Coind/BCR.thy Coind/Dynamic.thy \
    1.22  	      $(COIND_NAMES:%=Coind/%.thy) $(COIND_NAMES:%=Coind/%.ML)
    1.23  
    1.24 -Coind: $(OUT)/ZF $(COIND_FILES)
    1.25 +$(LOG)/ZF-Coind.gz: $(OUT)/ZF $(COIND_FILES)
    1.26  	@$(ISATOOL) usedir $(OUT)/ZF Coind
    1.27  
    1.28  
    1.29 @@ -62,7 +63,7 @@
    1.30  	   AC/WO1_WO6.ML AC/WO1_WO7.ML AC/WO1_WO8.ML \
    1.31  	   $(AC_NAMES:%=AC/%.thy) $(AC_NAMES:%=AC/%.ML)
    1.32  
    1.33 -AC: $(OUT)/ZF $(AC_FILES)
    1.34 +$(LOG)/ZF-AC.gz: $(OUT)/ZF $(AC_FILES)
    1.35  	@$(ISATOOL) usedir $(OUT)/ZF AC
    1.36  
    1.37  
    1.38 @@ -73,7 +74,7 @@
    1.39  
    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 +$(LOG)/ZF-Resid.gz: $(OUT)/ZF $(RESID_FILES)
    1.44  	@$(ISATOOL) usedir $(OUT)/ZF Resid
    1.45  
    1.46  
    1.47 @@ -84,13 +85,19 @@
    1.48  
    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 +$(LOG)/ZF-ex.gz: $(OUT)/ZF $(EX_FILES)
    1.53  	@$(ISATOOL) usedir $(OUT)/ZF ex
    1.54  
    1.55  
    1.56  ## Full test
    1.57  
    1.58 -test: $(OUT)/ZF IMP Coind AC Resid ex
    1.59 -	echo 'Test examples ran successfully' > test
    1.60 +ALL_TARGETS = $(OUT)/ZF $(LOG)/ZF-IMP.gz $(LOG)/ZF-Coind.gz \
    1.61 +  $(LOG)/ZF-AC.gz $(LOG)/ZF-Resid.gz $(LOG)/ZF-ex.gz
    1.62 +
    1.63 +test: $(ALL_TARGETS)
    1.64 +
    1.65 +clean:
    1.66 +	@rm -f $(ALL_TARGETS)
    1.67 +
    1.68  
    1.69  .PRECIOUS: $(OUT)/FOL $(OUT)/ZF