# HG changeset patch # User wenzelm # Date 912611449 -3600 # Node ID fc58d3c1fd62fa11375db8d1d69eb65877c2cd79 # Parent bfc06f358d70d03baf09c22d1089caed96549091 IOA-Storage: Memory storage case study. diff -r bfc06f358d70 -r fc58d3c1fd62 src/HOLCF/IsaMakefile --- a/src/HOLCF/IsaMakefile Wed Dec 02 16:10:30 1998 +0100 +++ b/src/HOLCF/IsaMakefile Wed Dec 02 16:10:49 1998 +0100 @@ -8,7 +8,7 @@ default: HOLCF images: HOLCF IOA -test: HOLCF-IMP HOLCF-ex IOA-ABP IOA-NTP +test: HOLCF-IMP HOLCF-ex IOA-ABP IOA-NTP IOA-Storage all: images test @@ -119,9 +119,20 @@ @cd IOA; $(ISATOOL) usedir $(OUT)/IOA NTP +## IOA-Storage + +IOA-Storage: IOA $(LOG)/IOA-Storage.gz + +$(LOG)/IOA-Storage.gz: IOA/Storage/Action.ML IOA/Storage/Action.thy \ + IOA/Storage/Correctness.ML IOA/Storage/Correctness.thy \ + IOA/Storage/Impl.ML IOA/Storage/Impl.thy IOA/Storage/ROOT.ML \ + IOA/Storage/Spec.thy + @cd IOA; $(ISATOOL) usedir $(OUT)/IOA Storage + + ## clean clean: @rm -f $(OUT)/HOLCF $(LOG)/HOLCF.gz $(LOG)/HOLCF-IMP.gz \ $(LOG)/HOLCF-ex.gz $(OUT)/IOA $(LOG)/IOA.gz $(LOG)/IOA-ABP.gz \ - $(LOG)/IOA-NTP.gz + $(LOG)/IOA-NTP.gz $(LOG)/IOA-Storage.gz