Admin/makebundle

properly extract SPASS proof

#!/usr/bin/env bash
#
# makebundle -- re-package with add-on components

## global settings

TMP="/var/tmp/isabelle-makebundle$$"


## diagnostics

PRG=$(basename "$0")

function usage()
{
  echo
  echo "Usage: $PRG ARCHIVE COMPONENTS"
  echo
  echo "  Re-package Isabelle distribution with add-on components."
  echo
  exit 1
}

function fail()
{
  echo "$1" >&2
  exit 2
}


## process command line

[ "$#" -lt 1 ] && usage

ARCHIVE="$1"; shift

declare -a COMPONENTS
COMPONENTS=("$@")


## main

mkdir "$TMP" || fail "Cannot create directory $TMP"

ARCHIVE_DIR="$(cd $(dirname "$ARCHIVE"); echo "$PWD")"
ISABELLE_NAME="$(basename "$ARCHIVE" .tar.gz)"
ISABELLE_HOME="$TMP/$ISABELLE_NAME"

[ ! -f "$ARCHIVE" ] && fail "Bad archive file $ARCHIVE"
tar -C "$TMP" -x -z -f "$ARCHIVE"

echo "#bundled components" >> "$ISABELLE_HOME/etc/components"

for COMPONENT in "${COMPONENTS[@]}"
do
  tar -C "$ISABELLE_HOME/contrib" -x -z -f "$COMPONENT"
  NAME="$(basename "$COMPONENT" .tar.gz)"
  [ -d "$ISABELLE_HOME/contrib/$NAME" ] || fail "Bad archive content $COMPONENT"

  if [ -e "$ISABELLE_HOME/contrib/$NAME/etc/settings" ]; then
    echo "component $NAME"
    echo "contrib/$NAME" >> "$ISABELLE_HOME/etc/components"
  else
    echo "package $NAME"
  fi
done

tar -C "$TMP" -c -z \
  -f "${ARCHIVE_DIR}/${ISABELLE_NAME}_bundle.tar.gz" \
  Isabelle "$ISABELLE_NAME"


# clean up
cd /tmp
rm -rf "$TMP"