Admin/makebin
changeset 14024 213dcc39358f
parent 13001 40ba2eee948e
child 14633 8553a957cffa
--- a/Admin/makebin	Mon May 12 19:54:43 2003 +0200
+++ b/Admin/makebin	Tue May 13 08:59:21 2003 +0200
@@ -112,15 +112,15 @@
   mkdir -p "heaps/$COMPILER/log"
   touch "heaps/$COMPILER/HOL"
   touch "heaps/$COMPILER/log/HOL.gz"
-  touch "heaps/$COMPILER/HOL-Real"
-  touch "heaps/$COMPILER/log/HOL-Real.gz"
+  touch "heaps/$COMPILER/HOL-Complex"
+  touch "heaps/$COMPILER/log/HOL-Complex.gz"
   touch "heaps/$COMPILER/ZF"
   touch "heaps/$COMPILER/log/ZF.gz"
   mkdir browser_info
 elif [ -n "$DO_LIBRARY" ]; then
   ./build -bait
 else
-  ./build -b -m HOL-Real HOL
+  ./build -b -m HOL-Complex HOL
   ./build -b ZF
   rm -f "heaps/$COMPILER/Pure" "heaps/$COMPILER/FOL"
 fi
@@ -138,7 +138,7 @@
     gzip -f "${ISABELLE_NAME}_library.tar"
     cp -f "${ISABELLE_NAME}_library.tar.gz" "$ARCHIVE_DIR"
 else
-  for IMG in HOL HOL-Real ZF
+  for IMG in HOL HOL-Complex ZF
   do
     "$TAR" cf "${IMG}_$PLATFORM.tar" \
       "$ISABELLE_NAME/heaps/$COMPILER/$IMG" \