Admin/makebundle

 {
   echo
   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
 }
 
 function fail()

 
 ## implicit and explicit arguments
 
 TMP="/var/tmp/isabelle-makebundle$$"
 mkdir "$TMP" || fail "Cannot create directory $TMP"
-
-LOGICS="HOL HOL-Nominal HOLCF ZF"
 
 [ "$#" -ne 2 ] && usage
 
 ARCHIVE="$1"; shift
 PLATFORM="$1"; shift

     echo "package $NAME"
   fi
 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"
 
 echo "$(basename "$BUNDLE_ARCHIVE")"