src/HOLCF/IsaMakefile
changeset 3951 d52a49a7d8f3
parent 3921 e88ea232977c
child 4038 5d278411e127
     1.1 --- a/src/HOLCF/IsaMakefile	Mon Oct 20 11:53:42 1997 +0200
     1.2 +++ b/src/HOLCF/IsaMakefile	Mon Oct 20 12:45:51 1997 +0200
     1.3 @@ -89,6 +89,7 @@
     1.4  IOA_NTP: $(OUT)/IOA $(IOA_NTP_FILES)
     1.5  	@cd IOA; $(ISATOOL) usedir $(OUT)/IOA NTP
     1.6  
     1.7 +
     1.8  ## IMP
     1.9  
    1.10  IMP_THYS = IMP/Denotational.thy
    1.11 @@ -97,20 +98,23 @@
    1.12  IMP:	$(OUT)/HOLCF $(IMP_FILES)
    1.13  	@$(ISATOOL) usedir $(OUT)/HOLCF IMP
    1.14  
    1.15 +
    1.16  ## Miscellaneous examples
    1.17  
    1.18 -EX_THYS = ex/Dnat.thy ex/Dlist.thy ex/Stream.thy \
    1.19 +EX_THYS = ex/Dnat.thy ex/Stream.thy \
    1.20  	  ex/Dagstuhl.thy ex/Focus_ex.thy ex/Fix2.thy \
    1.21  	  ex/Hoare.thy ex/Loop.thy
    1.22  
    1.23  EX_FILES = ex/ROOT.ML ex/loeckx.ML $(EX_THYS) $(EX_THYS:.thy=.ML)
    1.24  
    1.25 -EX:	ex/ROOT.ML $(EX_FILES)
    1.26 +ex:	ex/ROOT.ML $(EX_FILES)
    1.27  	@$(ISATOOL) usedir $(OUT)/HOLCF ex
    1.28  
    1.29 +
    1.30  ## Full test
    1.31  
    1.32 -test:	$(OUT)/HOLCF IOA IOA_ABP IOA_NTP IMP EX
    1.33 +test:	$(OUT)/HOLCF IOA IOA_ABP IOA_NTP IMP ex
    1.34  	echo 'Test examples ran successfully' > test
    1.35  
    1.36 +
    1.37  .PRECIOUS: $(OUT)/HOL $(OUT)/HOLCF