src/FOL/IsaMakefile
changeset 4447 b7ee449eb345
parent 4349 50403e5a44c0
child 4518 74c01296e818
     1.1 --- a/src/FOL/IsaMakefile	Fri Dec 19 10:18:03 1997 +0100
     1.2 +++ b/src/FOL/IsaMakefile	Fri Dec 19 10:18:58 1997 +0100
     1.3 @@ -5,12 +5,13 @@
     1.4  #
     1.5  
     1.6  OUT = $(ISABELLE_OUTPUT)
     1.7 +LOG = $(OUT)/log
     1.8  
     1.9  PROVERS = hypsubst.ML classical.ML blast.ML \
    1.10  	simplifier.ML splitter.ML ind.ML 
    1.11  
    1.12  FILES =	ROOT.ML IFOL.thy IFOL.ML FOL.thy FOL.ML intprover.ML simpdata.ML \
    1.13 -	fologic.ML cladata.ML $(PROVERS:%=../Provers/%)
    1.14 +	fologic.ML cladata.ML $(PROVERS:%=$(ISABELLE_HOME)/src/Provers/%)
    1.15  
    1.16  EX_NAMES = If List Nat Nat2 Prolog IffOracle
    1.17  EX_FILES = ex/ROOT.ML ex/cla.ML ex/foundn.ML ex/int.ML ex/intro.ML \
    1.18 @@ -23,7 +24,13 @@
    1.19  $(OUT)/Pure:
    1.20  	@cd ../Pure; $(ISATOOL) make
    1.21  
    1.22 -test: ex/ROOT.ML $(OUT)/FOL $(EX_FILES)
    1.23 +$(LOG)/FOL-ex.gz: ex/ROOT.ML $(OUT)/FOL $(EX_FILES)
    1.24  	@$(ISATOOL) usedir $(OUT)/FOL ex
    1.25  
    1.26 +test: $(OUT)/FOL $(LOG)/FOL-ex.gz
    1.27 +
    1.28 +clean:
    1.29 +	@rm -f $(OUT)/FOL $(LOG)/FOL-ex.gz
    1.30 +
    1.31 +
    1.32  .PRECIOUS: $(OUT)/Pure $(OUT)/FOL