# HG changeset patch
# User wenzelm
# Date 1216058398 -7200
# Node ID 6f469a8aff106580626b852448b2e247839ce303
# Parent  b3b6c581c3f91575bae70a41836758be353c7f38
added HOL-Nominal image;

diff -r b3b6c581c3f9 -r 6f469a8aff10 Admin/makebin
--- a/Admin/makebin	Mon Jul 14 19:57:14 2008 +0200
+++ b/Admin/makebin	Mon Jul 14 19:59:58 2008 +0200
@@ -114,6 +114,8 @@
   touch "heaps/$COMPILER/log/HOL.gz"
   touch "heaps/$COMPILER/HOL-Complex"
   touch "heaps/$COMPILER/log/HOL-Complex.gz"
+  touch "heaps/$COMPILER/HOL-Nominal"
+  touch "heaps/$COMPILER/log/HOL-Nominal.gz"
   touch "heaps/$COMPILER/ZF"
   touch "heaps/$COMPILER/log/ZF.gz"
   mkdir browser_info
@@ -121,6 +123,7 @@
   ./build -bait
 else
   ./build -b -m HOL-Complex HOL
+  ./build -b -m HOL-Nominal HOL
   ./build -b ZF
   rm -f "heaps/$COMPILER/Pure" "heaps/$COMPILER/FOL"
 fi
@@ -138,7 +141,7 @@
     gzip -f "${ISABELLE_NAME}_library.tar"
     cp -f "${ISABELLE_NAME}_library.tar.gz" "$ARCHIVE_DIR"
 else
-  for IMG in HOL HOL-Complex ZF
+  for IMG in HOL HOL-Complex HOL-Nominal ZF
   do
     "$TAR" cf "${IMG}_$PLATFORM.tar" \
       "$ISABELLE_NAME/heaps/$COMPILER/$IMG" \