--- 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" \