IOA-Storage: Memory storage case study.
authorwenzelm
Wed Dec 02 16:10:49 1998 +0100 (1998-12-02)
changeset 6010fc58d3c1fd62
parent 6009 bfc06f358d70
child 6011 c48050d6928d
IOA-Storage: Memory storage case study.
src/HOLCF/IsaMakefile
     1.1 --- a/src/HOLCF/IsaMakefile	Wed Dec 02 16:10:30 1998 +0100
     1.2 +++ b/src/HOLCF/IsaMakefile	Wed Dec 02 16:10:49 1998 +0100
     1.3 @@ -8,7 +8,7 @@
     1.4  
     1.5  default: HOLCF
     1.6  images: HOLCF IOA
     1.7 -test: HOLCF-IMP HOLCF-ex IOA-ABP IOA-NTP
     1.8 +test: HOLCF-IMP HOLCF-ex IOA-ABP IOA-NTP IOA-Storage
     1.9  all: images test
    1.10  
    1.11  
    1.12 @@ -119,9 +119,20 @@
    1.13  	@cd IOA; $(ISATOOL) usedir $(OUT)/IOA NTP
    1.14  
    1.15  
    1.16 +## IOA-Storage
    1.17 +
    1.18 +IOA-Storage: IOA $(LOG)/IOA-Storage.gz
    1.19 +
    1.20 +$(LOG)/IOA-Storage.gz: IOA/Storage/Action.ML IOA/Storage/Action.thy \
    1.21 +  IOA/Storage/Correctness.ML IOA/Storage/Correctness.thy \
    1.22 +  IOA/Storage/Impl.ML IOA/Storage/Impl.thy IOA/Storage/ROOT.ML \
    1.23 +  IOA/Storage/Spec.thy
    1.24 +	@cd IOA; $(ISATOOL) usedir $(OUT)/IOA Storage
    1.25 +
    1.26 +
    1.27  ## clean
    1.28  
    1.29  clean:
    1.30  	@rm -f $(OUT)/HOLCF $(LOG)/HOLCF.gz $(LOG)/HOLCF-IMP.gz \
    1.31  	  $(LOG)/HOLCF-ex.gz $(OUT)/IOA $(LOG)/IOA.gz $(LOG)/IOA-ABP.gz \
    1.32 -	  $(LOG)/IOA-NTP.gz
    1.33 +	  $(LOG)/IOA-NTP.gz $(LOG)/IOA-Storage.gz