Admin/Release/makebundle
author wenzelm
Thu, 05 Jul 2012 14:13:14 +0200
changeset 48190 76b6207eb000
parent 47857 Admin/makebundle@ec58b1fbe7b7
permissions -rwxr-xr-x
more explicit directory structure Admin/Release/; updated to Admin/components;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
33907
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
     1
#!/usr/bin/env bash
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
     2
#
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
     3
# makebundle -- re-package with add-on components
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
     4
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
     5
## diagnostics
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
     6
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
     7
PRG=$(basename "$0")
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
     8
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
     9
function usage()
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    10
{
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    11
  echo
37315
af2adf0ae97d one all-inclusive bundle for each platform;
wenzelm
parents: 33907
diff changeset
    12
  echo "Usage: $PRG ARCHIVE PLATFORM"
33907
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    13
  echo
37315
af2adf0ae97d one all-inclusive bundle for each platform;
wenzelm
parents: 33907
diff changeset
    14
  echo "  Re-package Isabelle source distribution with add-on components"
37343
c333da19fe67 single heaps archive;
wenzelm
parents: 37315
diff changeset
    15
  echo "  and heap images"
33907
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    16
  echo
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    17
  exit 1
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    18
}
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    19
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    20
function fail()
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    21
{
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    22
  echo "$1" >&2
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    23
  exit 2
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    24
}
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    25
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    26
37315
af2adf0ae97d one all-inclusive bundle for each platform;
wenzelm
parents: 33907
diff changeset
    27
## implicit and explicit arguments
33907
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    28
37315
af2adf0ae97d one all-inclusive bundle for each platform;
wenzelm
parents: 33907
diff changeset
    29
TMP="/var/tmp/isabelle-makebundle$$"
af2adf0ae97d one all-inclusive bundle for each platform;
wenzelm
parents: 33907
diff changeset
    30
mkdir "$TMP" || fail "Cannot create directory $TMP"
af2adf0ae97d one all-inclusive bundle for each platform;
wenzelm
parents: 33907
diff changeset
    31
af2adf0ae97d one all-inclusive bundle for each platform;
wenzelm
parents: 33907
diff changeset
    32
[ "$#" -ne 2 ] && usage
33907
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    33
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    34
ARCHIVE="$1"; shift
37315
af2adf0ae97d one all-inclusive bundle for each platform;
wenzelm
parents: 33907
diff changeset
    35
PLATFORM="$1"; shift
33907
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    36
37315
af2adf0ae97d one all-inclusive bundle for each platform;
wenzelm
parents: 33907
diff changeset
    37
[ -f "$ARCHIVE" ] || fail "Bad source archive: $ARCHIVE"
33907
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    38
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    39
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    40
## main
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    41
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    42
ARCHIVE_DIR="$(cd $(dirname "$ARCHIVE"); echo "$PWD")"
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    43
ISABELLE_NAME="$(basename "$ARCHIVE" .tar.gz)"
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    44
ISABELLE_HOME="$TMP/$ISABELLE_NAME"
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    45
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    46
tar -C "$TMP" -x -z -f "$ARCHIVE"
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    47
37315
af2adf0ae97d one all-inclusive bundle for each platform;
wenzelm
parents: 33907
diff changeset
    48
33907
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    49
echo "#bundled components" >> "$ISABELLE_HOME/etc/components"
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    50
44951
3aa3aeb4980f specific bundle for x86_64-linux, which is especially important for JRE due to its extra library dependencies;
wenzelm
parents: 44807
diff changeset
    51
for CONTRIB in "$ARCHIVE_DIR/contrib/"*.tar.gz "$ARCHIVE_DIR/contrib/$PLATFORM"/*.tar.gz
33907
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    52
do
44951
3aa3aeb4980f specific bundle for x86_64-linux, which is especially important for JRE due to its extra library dependencies;
wenzelm
parents: 44807
diff changeset
    53
  if [ -f "$CONTRIB" ]; then
3aa3aeb4980f specific bundle for x86_64-linux, which is especially important for JRE due to its extra library dependencies;
wenzelm
parents: 44807
diff changeset
    54
    tar -C "$ISABELLE_HOME/contrib" -x -z -f "$CONTRIB"
3aa3aeb4980f specific bundle for x86_64-linux, which is especially important for JRE due to its extra library dependencies;
wenzelm
parents: 44807
diff changeset
    55
    NAME="$(basename "$CONTRIB" .tar.gz)"
3aa3aeb4980f specific bundle for x86_64-linux, which is especially important for JRE due to its extra library dependencies;
wenzelm
parents: 44807
diff changeset
    56
    [ -d "$ISABELLE_HOME/contrib/$NAME" ] || fail "Bad archive content $CONTRIB"
33907
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    57
44951
3aa3aeb4980f specific bundle for x86_64-linux, which is especially important for JRE due to its extra library dependencies;
wenzelm
parents: 44807
diff changeset
    58
    if [ -e "$ISABELLE_HOME/contrib/$NAME/etc/settings" ]; then
3aa3aeb4980f specific bundle for x86_64-linux, which is especially important for JRE due to its extra library dependencies;
wenzelm
parents: 44807
diff changeset
    59
      echo "component $NAME"
47522
f74da4658bd1 accomodate ProofGeneral as Isabelle component, with adhoc version switch for Cygwin as before;
wenzelm
parents: 44964
diff changeset
    60
      if [ "$PLATFORM" != x86-cygwin -a "$NAME" = ProofGeneral-3.7.1.1 ]; then
f74da4658bd1 accomodate ProofGeneral as Isabelle component, with adhoc version switch for Cygwin as before;
wenzelm
parents: 44964
diff changeset
    61
        echo "#contrib/$NAME" >> "$ISABELLE_HOME/etc/components"
f74da4658bd1 accomodate ProofGeneral as Isabelle component, with adhoc version switch for Cygwin as before;
wenzelm
parents: 44964
diff changeset
    62
      elif [ "$PLATFORM" = x86-cygwin -a "$NAME" = ProofGeneral-4.1 ]; then
f74da4658bd1 accomodate ProofGeneral as Isabelle component, with adhoc version switch for Cygwin as before;
wenzelm
parents: 44964
diff changeset
    63
        echo "#contrib/$NAME" >> "$ISABELLE_HOME/etc/components"
f74da4658bd1 accomodate ProofGeneral as Isabelle component, with adhoc version switch for Cygwin as before;
wenzelm
parents: 44964
diff changeset
    64
      else
f74da4658bd1 accomodate ProofGeneral as Isabelle component, with adhoc version switch for Cygwin as before;
wenzelm
parents: 44964
diff changeset
    65
        echo "contrib/$NAME" >> "$ISABELLE_HOME/etc/components"
f74da4658bd1 accomodate ProofGeneral as Isabelle component, with adhoc version switch for Cygwin as before;
wenzelm
parents: 44964
diff changeset
    66
      fi
44951
3aa3aeb4980f specific bundle for x86_64-linux, which is especially important for JRE due to its extra library dependencies;
wenzelm
parents: 44807
diff changeset
    67
    else
3aa3aeb4980f specific bundle for x86_64-linux, which is especially important for JRE due to its extra library dependencies;
wenzelm
parents: 44807
diff changeset
    68
      echo "package $NAME"
3aa3aeb4980f specific bundle for x86_64-linux, which is especially important for JRE due to its extra library dependencies;
wenzelm
parents: 44807
diff changeset
    69
    fi
33907
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    70
  fi
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    71
done
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    72
47685
8b31786fe603 bundle Isabelle.exe;
wenzelm
parents: 47522
diff changeset
    73
if [ "$PLATFORM" = x86-cygwin ]; then
47723
f43b8873743d augment Isabelle home directory more systematically;
wenzelm
parents: 47709
diff changeset
    74
  TAR="$ARCHIVE_DIR/contrib/x86-cygwin/Isabelle.tar"
f43b8873743d augment Isabelle home directory more systematically;
wenzelm
parents: 47709
diff changeset
    75
  [ -e "$TAR" ] || fail "Missing $TAR"
47709
7d292190c4ab bundle Cygwin-Terminal.bat;
wenzelm
parents: 47697
diff changeset
    76
  rm -f "$ISABELLE_HOME/Isabelle"
47723
f43b8873743d augment Isabelle home directory more systematically;
wenzelm
parents: 47709
diff changeset
    77
  tar -C "$ISABELLE_HOME" -xv -f "$TAR"
47742
316c67657fd3 move polyml within Cygwin /usr/local to simplify its rebasing;
wenzelm
parents: 47723
diff changeset
    78
47857
ec58b1fbe7b7 save 90MB by removing foreign binaries -- multi-platform installations are unlikely on Windows;
wenzelm
parents: 47833
diff changeset
    79
  (
ec58b1fbe7b7 save 90MB by removing foreign binaries -- multi-platform installations are unlikely on Windows;
wenzelm
parents: 47833
diff changeset
    80
    cd "$ISABELLE_HOME"
ec58b1fbe7b7 save 90MB by removing foreign binaries -- multi-platform installations are unlikely on Windows;
wenzelm
parents: 47833
diff changeset
    81
    for DIR in $(find contrib -name x86-linux -o -name x86_64-linux -o -name x86-darwin -o -name x86_64-darwin | sort)
ec58b1fbe7b7 save 90MB by removing foreign binaries -- multi-platform installations are unlikely on Windows;
wenzelm
parents: 47833
diff changeset
    82
    do
ec58b1fbe7b7 save 90MB by removing foreign binaries -- multi-platform installations are unlikely on Windows;
wenzelm
parents: 47833
diff changeset
    83
      echo "removing $DIR"
ec58b1fbe7b7 save 90MB by removing foreign binaries -- multi-platform installations are unlikely on Windows;
wenzelm
parents: 47833
diff changeset
    84
      rm -rf "$DIR"
ec58b1fbe7b7 save 90MB by removing foreign binaries -- multi-platform installations are unlikely on Windows;
wenzelm
parents: 47833
diff changeset
    85
    done
ec58b1fbe7b7 save 90MB by removing foreign binaries -- multi-platform installations are unlikely on Windows;
wenzelm
parents: 47833
diff changeset
    86
  )
ec58b1fbe7b7 save 90MB by removing foreign binaries -- multi-platform installations are unlikely on Windows;
wenzelm
parents: 47833
diff changeset
    87
47742
316c67657fd3 move polyml within Cygwin /usr/local to simplify its rebasing;
wenzelm
parents: 47723
diff changeset
    88
  mv "$ISABELLE_HOME/contrib"/polyml* "$ISABELLE_HOME/contrib/cygwin-1.7.9/usr/local/"
47760
b9840d8fca43 register polyml executables so that Cygwin rebaseall will see them;
wenzelm
parents: 47742
diff changeset
    89
  (
b9840d8fca43 register polyml executables so that Cygwin rebaseall will see them;
wenzelm
parents: 47742
diff changeset
    90
    cd "$ISABELLE_HOME/contrib/cygwin-1.7.9"
b9840d8fca43 register polyml executables so that Cygwin rebaseall will see them;
wenzelm
parents: 47742
diff changeset
    91
    find usr/local/polyml-*/x86-cygwin | gzip > etc/setup/polyml.lst.gz
b9840d8fca43 register polyml executables so that Cygwin rebaseall will see them;
wenzelm
parents: 47742
diff changeset
    92
  )
47833
12cb7b5d4b77 more windows-friendly presentation of main text files;
wenzelm
parents: 47760
diff changeset
    93
12cb7b5d4b77 more windows-friendly presentation of main text files;
wenzelm
parents: 47760
diff changeset
    94
  for NAME in ANNOUNCE README NEWS COPYRIGHT CONTRIBUTORS contrib/README
12cb7b5d4b77 more windows-friendly presentation of main text files;
wenzelm
parents: 47760
diff changeset
    95
  do
12cb7b5d4b77 more windows-friendly presentation of main text files;
wenzelm
parents: 47760
diff changeset
    96
    FILE="$ISABELLE_HOME/$NAME"
12cb7b5d4b77 more windows-friendly presentation of main text files;
wenzelm
parents: 47760
diff changeset
    97
    {
12cb7b5d4b77 more windows-friendly presentation of main text files;
wenzelm
parents: 47760
diff changeset
    98
      echo '<?xml version="1.0" encoding="utf-8" ?>'
12cb7b5d4b77 more windows-friendly presentation of main text files;
wenzelm
parents: 47760
diff changeset
    99
      echo '<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">'
12cb7b5d4b77 more windows-friendly presentation of main text files;
wenzelm
parents: 47760
diff changeset
   100
      echo '<html xmlns="http://www.w3.org/1999/xhtml">'
12cb7b5d4b77 more windows-friendly presentation of main text files;
wenzelm
parents: 47760
diff changeset
   101
      echo '<head>'
12cb7b5d4b77 more windows-friendly presentation of main text files;
wenzelm
parents: 47760
diff changeset
   102
      echo '<meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>'
12cb7b5d4b77 more windows-friendly presentation of main text files;
wenzelm
parents: 47760
diff changeset
   103
      echo "<title>${NAME}</title>"
12cb7b5d4b77 more windows-friendly presentation of main text files;
wenzelm
parents: 47760
diff changeset
   104
      echo '</head>'
12cb7b5d4b77 more windows-friendly presentation of main text files;
wenzelm
parents: 47760
diff changeset
   105
      echo '<body>'
12cb7b5d4b77 more windows-friendly presentation of main text files;
wenzelm
parents: 47760
diff changeset
   106
      echo '<pre>'
12cb7b5d4b77 more windows-friendly presentation of main text files;
wenzelm
parents: 47760
diff changeset
   107
      perl -w -p -e "s/&/&amp;/g; s/</&lt;/g; s/>/&gt;/g; s/'/&apos;/g; s/\"/&quot;/g;" "$FILE"
12cb7b5d4b77 more windows-friendly presentation of main text files;
wenzelm
parents: 47760
diff changeset
   108
      echo '</pre>'
12cb7b5d4b77 more windows-friendly presentation of main text files;
wenzelm
parents: 47760
diff changeset
   109
      echo '</body>'
12cb7b5d4b77 more windows-friendly presentation of main text files;
wenzelm
parents: 47760
diff changeset
   110
    } > "${FILE}.html"
12cb7b5d4b77 more windows-friendly presentation of main text files;
wenzelm
parents: 47760
diff changeset
   111
  done
47685
8b31786fe603 bundle Isabelle.exe;
wenzelm
parents: 47522
diff changeset
   112
fi
8b31786fe603 bundle Isabelle.exe;
wenzelm
parents: 47522
diff changeset
   113
37315
af2adf0ae97d one all-inclusive bundle for each platform;
wenzelm
parents: 33907
diff changeset
   114
37343
c333da19fe67 single heaps archive;
wenzelm
parents: 37315
diff changeset
   115
HEAPS_ARCHIVE="$ARCHIVE_DIR/${ISABELLE_NAME}_heaps_${PLATFORM}.tar.gz"
c333da19fe67 single heaps archive;
wenzelm
parents: 37315
diff changeset
   116
[ -f "$HEAPS_ARCHIVE" ] || fail "Bad heaps archive: $HEAPS_ARCHIVE"
c333da19fe67 single heaps archive;
wenzelm
parents: 37315
diff changeset
   117
echo "heaps"
37357
b7a55231065a proper target directory;
wenzelm
parents: 37343
diff changeset
   118
tar -C "$TMP" -x -z -f "$HEAPS_ARCHIVE"
37315
af2adf0ae97d one all-inclusive bundle for each platform;
wenzelm
parents: 33907
diff changeset
   119
41627
0040e0ea02e7 delete compiled .elc files to improve portability on Linux, notably for GNU Emacs 23.1.x instead of 23.2.x;
wenzelm
parents: 41611
diff changeset
   120
case "$PLATFORM" in
44951
3aa3aeb4980f specific bundle for x86_64-linux, which is especially important for JRE due to its extra library dependencies;
wenzelm
parents: 44807
diff changeset
   121
  x86_64-linux)
3aa3aeb4980f specific bundle for x86_64-linux, which is especially important for JRE due to its extra library dependencies;
wenzelm
parents: 44807
diff changeset
   122
    perl -pi -e 's,^ML_PLATFORM=.*$,ML_PLATFORM="\$ISABELLE_PLATFORM64",g;' "$TMP/$ISABELLE_NAME/etc/settings"
3aa3aeb4980f specific bundle for x86_64-linux, which is especially important for JRE due to its extra library dependencies;
wenzelm
parents: 44807
diff changeset
   123
    perl -pi -e "s,^ML_OPTIONS=.*$,ML_OPTIONS=\"-H 400\",g;" "$TMP/$ISABELLE_NAME/etc/settings"
3aa3aeb4980f specific bundle for x86_64-linux, which is especially important for JRE due to its extra library dependencies;
wenzelm
parents: 44807
diff changeset
   124
    ;;
44807
44db3e309060 platform-specific look and feel;
wenzelm
parents: 41650
diff changeset
   125
  *-darwin)
44db3e309060 platform-specific look and feel;
wenzelm
parents: 41650
diff changeset
   126
    perl -pi -e "s,lookAndFeel=.*,lookAndFeel=com.apple.laf.AquaLookAndFeel,g;" \
44964
23dbab7f8cf4 tweak keyboard shortcuts for Mac OS X;
wenzelm
parents: 44951
diff changeset
   127
      -e "s,delete-line.shortcut=.*,delete-line.shortcut=C+d,g;" \
23dbab7f8cf4 tweak keyboard shortcuts for Mac OS X;
wenzelm
parents: 44951
diff changeset
   128
      -e "s,delete.shortcut2=.*,delete.shortcut2=A+d,g;" \
44807
44db3e309060 platform-specific look and feel;
wenzelm
parents: 41650
diff changeset
   129
      "$TMP/$ISABELLE_NAME/src/Tools/jEdit/dist/properties/jEdit.props"
44db3e309060 platform-specific look and feel;
wenzelm
parents: 41650
diff changeset
   130
    ;;
44db3e309060 platform-specific look and feel;
wenzelm
parents: 41650
diff changeset
   131
  *-cygwin)
44db3e309060 platform-specific look and feel;
wenzelm
parents: 41650
diff changeset
   132
    perl -pi -e "s,lookAndFeel=.*,lookAndFeel=com.sun.java.swing.plaf.windows.WindowsLookAndFeel,g;" \
44db3e309060 platform-specific look and feel;
wenzelm
parents: 41650
diff changeset
   133
      "$TMP/$ISABELLE_NAME/src/Tools/jEdit/dist/properties/jEdit.props"
41627
0040e0ea02e7 delete compiled .elc files to improve portability on Linux, notably for GNU Emacs 23.1.x instead of 23.2.x;
wenzelm
parents: 41611
diff changeset
   134
    ;;
0040e0ea02e7 delete compiled .elc files to improve portability on Linux, notably for GNU Emacs 23.1.x instead of 23.2.x;
wenzelm
parents: 41611
diff changeset
   135
  *)
0040e0ea02e7 delete compiled .elc files to improve portability on Linux, notably for GNU Emacs 23.1.x instead of 23.2.x;
wenzelm
parents: 41611
diff changeset
   136
    ;;
0040e0ea02e7 delete compiled .elc files to improve portability on Linux, notably for GNU Emacs 23.1.x instead of 23.2.x;
wenzelm
parents: 41611
diff changeset
   137
esac
41611
f23ce44fbaec Cygwin: back to ProofGeneral-3.7.1.1 with XEmacs, since PG 4.x with GNU Emacs 23 is painfully slow;
wenzelm
parents: 41555
diff changeset
   138
37315
af2adf0ae97d one all-inclusive bundle for each platform;
wenzelm
parents: 33907
diff changeset
   139
BUNDLE_ARCHIVE="${ARCHIVE_DIR}/${ISABELLE_NAME}_bundle_${PLATFORM}.tar.gz"
af2adf0ae97d one all-inclusive bundle for each platform;
wenzelm
parents: 33907
diff changeset
   140
af2adf0ae97d one all-inclusive bundle for each platform;
wenzelm
parents: 33907
diff changeset
   141
echo "$(basename "$BUNDLE_ARCHIVE")"
41555
178fdd4cca46 updated for release;
wenzelm
parents: 37357
diff changeset
   142
tar -C "$TMP" -c -z -f "$BUNDLE_ARCHIVE" "$ISABELLE_NAME"
33907
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
   143
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
   144
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
   145
# clean up
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
   146
cd /tmp
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
   147
rm -rf "$TMP"