Admin/makebundle
changeset 37343 c333da19fe67
parent 37315 af2adf0ae97d
child 37357 b7a55231065a
--- a/Admin/makebundle	Sun Jun 06 18:34:53 2010 +0200
+++ b/Admin/makebundle	Sun Jun 06 18:47:29 2010 +0200
@@ -12,7 +12,7 @@
   echo "Usage: $PRG ARCHIVE PLATFORM"
   echo
   echo "  Re-package Isabelle source distribution with add-on components"
-  echo "  and logic images"
+  echo "  and heap images"
   echo
   exit 1
 }
@@ -29,8 +29,6 @@
 TMP="/var/tmp/isabelle-makebundle$$"
 mkdir "$TMP" || fail "Cannot create directory $TMP"
 
-LOGICS="HOL HOL-Nominal HOLCF ZF"
-
 [ "$#" -ne 2 ] && usage
 
 ARCHIVE="$1"; shift
@@ -65,13 +63,10 @@
 done
 
 
-for LOGIC in $LOGICS
-do
-  LOGIC_ARCHIVE="$ARCHIVE_DIR/${LOGIC}_${PLATFORM}.tar.gz"
-  [ -f "$LOGIC_ARCHIVE" ] || fail "Bad logic archive: $LOGIC_ARCHIVE"
-  echo "logic $LOGIC"
-  tar -C "$ISABELLE_HOME" -x -z -f "$LOGIC_ARCHIVE"
-done
+HEAPS_ARCHIVE="$ARCHIVE_DIR/${ISABELLE_NAME}_heaps_${PLATFORM}.tar.gz"
+[ -f "$HEAPS_ARCHIVE" ] || fail "Bad heaps archive: $HEAPS_ARCHIVE"
+echo "heaps"
+tar -C "$ISABELLE_HOME" -x -z -f "$HEAPS_ARCHIVE"
 
 
 BUNDLE_ARCHIVE="${ARCHIVE_DIR}/${ISABELLE_NAME}_bundle_${PLATFORM}.tar.gz"