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.
added HOLCF image;
authorwenzelm
Sun, 29 Nov 2009 17:13:27 +0100
changeset 33918 5945e023bab7
parent 33917 186262d7cabf
child 33919 3711139cffc3
added HOLCF image;
Admin/makebin file | annotate | diff | comparison | revisions 
--- a/Admin/makebin	Sat Nov 28 22:28:15 2009 +0100
+++ b/Admin/makebin	Sun Nov 29 17:13:27 2009 +0100
@@ -109,6 +109,8 @@
   touch "heaps/$COMPILER/log/HOL.gz"
   touch "heaps/$COMPILER/HOL-Nominal"
   touch "heaps/$COMPILER/log/HOL-Nominal.gz"
+  touch "heaps/$COMPILER/HOLCF"
+  touch "heaps/$COMPILER/log/HOLCF.gz"
   touch "heaps/$COMPILER/ZF"
   touch "heaps/$COMPILER/log/ZF.gz"
   mkdir browser_info
@@ -116,6 +118,7 @@
   ./build -bait
 else
   ./build -b -m HOL-Nominal HOL
+  ./build -b HOLCF
   ./build -b ZF
   rm -f "heaps/$COMPILER/Pure" "heaps/$COMPILER/FOL"
 fi
@@ -133,7 +136,7 @@
     gzip -f "${ISABELLE_NAME}_library.tar"
     cp -f "${ISABELLE_NAME}_library.tar.gz" "$ARCHIVE_DIR"
 else
-  for IMG in HOL HOL-Nominal ZF
+  for IMG in HOL HOL-Nominal HOLCF ZF
   do
     tar cf "${IMG}_$PLATFORM.tar" \
       "$ISABELLE_NAME/heaps/$COMPILER/$IMG" \
isabelle