Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
IOA-Storage: Memory storage case study.
authorwenzelm
Wed, 02 Dec 1998 16:10:49 +0100
changeset 6010 fc58d3c1fd62
parent 6009 bfc06f358d70
child 6011 c48050d6928d
IOA-Storage: Memory storage case study.
src/HOLCF/IsaMakefile file | annotate | diff | comparison | revisions 
--- 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
isabelle