3 # makebundle -- re-package with add-on components
12 echo "Usage: $PRG ARCHIVE PLATFORM"
14 echo " Re-package Isabelle source distribution with add-on components"
15 echo " and heap images"
27 ## implicit and explicit arguments
29 TMP="/var/tmp/isabelle-makebundle$$"
30 mkdir "$TMP" || fail "Cannot create directory $TMP"
32 [ "$#" -ne 2 ] && usage
37 [ -f "$ARCHIVE" ] || fail "Bad source archive: $ARCHIVE"
42 ARCHIVE_DIR="$(cd $(dirname "$ARCHIVE"); echo "$PWD")"
43 ISABELLE_NAME="$(basename "$ARCHIVE" .tar.gz)"
44 ISABELLE_HOME="$TMP/$ISABELLE_NAME"
46 tar -C "$TMP" -x -z -f "$ARCHIVE"
49 echo "#bundled components" >> "$ISABELLE_HOME/etc/components"
51 for CONTRIB in "$ARCHIVE_DIR"/contrib/*.tar.gz
53 tar -C "$ISABELLE_HOME/contrib" -x -z -f "$CONTRIB"
54 NAME="$(basename "$CONTRIB" .tar.gz)"
55 [ -d "$ISABELLE_HOME/contrib/$NAME" ] || fail "Bad archive content $CONTRIB"
57 if [ -e "$ISABELLE_HOME/contrib/$NAME/etc/settings" ]; then
58 echo "component $NAME"
59 echo "contrib/$NAME" >> "$ISABELLE_HOME/etc/components"
66 HEAPS_ARCHIVE="$ARCHIVE_DIR/${ISABELLE_NAME}_heaps_${PLATFORM}.tar.gz"
67 [ -f "$HEAPS_ARCHIVE" ] || fail "Bad heaps archive: $HEAPS_ARCHIVE"
69 tar -C "$TMP" -x -z -f "$HEAPS_ARCHIVE"
72 BUNDLE_ARCHIVE="${ARCHIVE_DIR}/${ISABELLE_NAME}_bundle_${PLATFORM}.tar.gz"
74 echo "$(basename "$BUNDLE_ARCHIVE")"
75 tar -C "$TMP" -c -z -f "$BUNDLE_ARCHIVE" Isabelle "$ISABELLE_NAME"