src/Sequents/IsaMakefile
changeset 6252 935f183bf406
parent 4518 74c01296e818
child 7098 86583034aacf
     1.1 --- a/src/Sequents/IsaMakefile	Fri Feb 05 21:12:45 1999 +0100
     1.2 +++ b/src/Sequents/IsaMakefile	Fri Feb 05 21:14:17 1999 +0100
     1.3 @@ -8,7 +8,7 @@
     1.4  
     1.5  default: Sequents
     1.6  images: Sequents
     1.7 -test: Sequents-ex
     1.8 +test: Sequents-ILL Sequents-LK Sequents-Modal
     1.9  all: images test
    1.10  
    1.11  
    1.12 @@ -31,19 +31,36 @@
    1.13  	@$(ISATOOL) usedir -b $(OUT)/Pure Sequents
    1.14  
    1.15  
    1.16 -## Sequents-ex
    1.17 +## Sequents-ILL
    1.18 +
    1.19 +Sequents-ILL: Sequents $(LOG)/Sequents-ILL.gz
    1.20  
    1.21 -Sequents-ex: Sequents $(LOG)/Sequents-ex.gz
    1.22 +$(LOG)/Sequents-ILL.gz: $(OUT)/Sequents ILL/ILL_kleene_lemmas.ML \
    1.23 +  ILL/ILL_predlog.ML ILL/ILL_predlog.thy ILL/ROOT.ML ILL/washing.ML \
    1.24 +  ILL/washing.thy
    1.25 +	@$(ISATOOL) usedir $(OUT)/Sequents ILL
    1.26 +
    1.27 +
    1.28 +## Sequents-LK
    1.29  
    1.30 -$(LOG)/Sequents-ex.gz: $(OUT)/Sequents ex/ILL/ILL_kleene_lemmas.ML \
    1.31 -  ex/ILL/ILL_predlog.ML ex/ILL/ILL_predlog.thy ex/ILL/washing.ML \
    1.32 -  ex/ILL/washing.thy ex/LK/ROOT.ML ex/LK/hardquant.ML ex/LK/prop.ML \
    1.33 -  ex/LK/quant.ML ex/Modal/ROOT.ML ex/Modal/S43thms.ML ex/Modal/S4thms.ML \
    1.34 -  ex/Modal/Tthms.ML ex/ROOT.ML
    1.35 -	@$(ISATOOL) usedir $(OUT)/Sequents ex
    1.36 +Sequents-LK: Sequents $(LOG)/Sequents-LK.gz
    1.37 +
    1.38 +$(LOG)/Sequents-LK.gz: $(OUT)/Sequents LK/ROOT.ML LK/hardquant.ML \
    1.39 +  LK/prop.ML LK/quant.ML
    1.40 +	@$(ISATOOL) usedir $(OUT)/Sequents LK
    1.41 +
    1.42 +
    1.43 +## Sequents-Modal
    1.44 +
    1.45 +Sequents-Modal: Sequents $(LOG)/Sequents-Modal.gz
    1.46 +
    1.47 +$(LOG)/Sequents-Modal.gz: $(OUT)/Sequents Modal/ROOT.ML \
    1.48 +  Modal/S43thms.ML Modal/S4thms.ML Modal/Tthms.ML ROOT.ML
    1.49 +	@$(ISATOOL) usedir $(OUT)/Sequents Modal
    1.50  
    1.51  
    1.52  ## clean
    1.53  
    1.54  clean:
    1.55 -	@rm -f $(OUT)/Sequents $(LOG)/Sequents.gz $(LOG)/Sequents-ex.gz
    1.56 +	@rm -f $(OUT)/Sequents $(LOG)/Sequents.gz $(LOG)/Sequents-ILL.gz \
    1.57 +	  $(LOG)/Sequents-LK.gz $(LOG)/Sequents-Modal.gz