Admin/lib/Tools/makedist_bundles
author wenzelm
Thu, 10 Jan 2013 21:20:14 +0100
changeset 50812 eb38dfcf834a
parent 50810 76967aa4fe84
child 50831 7784cc660580
permissions -rwxr-xr-x
manage cygwin as bundled quasi-component;
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
#
50790
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
     3
# DESCRIPTION: re-package Isabelle distribution with add-on components
33907
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
50790
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    12
  echo "Usage: isabelle $PRG ARCHIVE"
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"
50790
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    15
  echo "  and post-hoc patches for platform families linux, macos, windows."
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    16
  echo
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    17
  echo "  Add-on components are that of the running Isabelle version!"
33907
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    18
  echo
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    19
  exit 1
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    20
}
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
function fail()
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    23
{
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    24
  echo "$1" >&2
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    25
  exit 2
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    26
}
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    27
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    28
50790
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    29
## arguments
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    30
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    31
[ "$#" -ne 1 ] && usage
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    32
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    33
ARCHIVE="$1"; shift
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    34
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    35
[ -f "$ARCHIVE" ] || fail "Bad source archive: $ARCHIVE"
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    36
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    37
ARCHIVE_DIR="$(cd $(dirname "$ARCHIVE"); echo "$PWD")"
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    38
ISABELLE_NAME="$(basename "$ARCHIVE" .tar.gz)"
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    39
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    40
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    41
## main
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    42
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    43
for PLATFORM_FAMILY in linux macos windows
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    44
do
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    45
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    46
echo
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    47
echo "*** $PLATFORM_FAMILY ***"
33907
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    48
50794
a62d048e6213 renamed tool;
wenzelm
parents: 50790
diff changeset
    49
TMP="/var/tmp/isabelle-makedist$$"
37315
af2adf0ae97d one all-inclusive bundle for each platform;
wenzelm
parents: 33907
diff changeset
    50
mkdir "$TMP" || fail "Cannot create directory $TMP"
af2adf0ae97d one all-inclusive bundle for each platform;
wenzelm
parents: 33907
diff changeset
    51
50790
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    52
ISABELLE_TARGET="$TMP/$ISABELLE_NAME"
33907
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    53
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    54
tar -C "$TMP" -x -z -f "$ARCHIVE"
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    55
37315
af2adf0ae97d one all-inclusive bundle for each platform;
wenzelm
parents: 33907
diff changeset
    56
50790
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    57
# bundled components
33907
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    58
50790
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    59
mkdir -p "$ARCHIVE_DIR/contrib"
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    60
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    61
echo "#bundled components" >> "$ISABELLE_TARGET/etc/components"
33907
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    62
50812
eb38dfcf834a manage cygwin as bundled quasi-component;
wenzelm
parents: 50810
diff changeset
    63
for CATALOG in main "$PLATFORM_FAMILY" bundled "bundled-$PLATFORM_FAMILY"
50790
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    64
do
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    65
  CATALOG_FILE="$ISABELLE_HOME/Admin/components/$CATALOG"
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    66
  if [ -f "$CATALOG_FILE" ]
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    67
  then
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    68
    echo "catalog ${CATALOG}"
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    69
    {
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    70
      while { unset REPLY; read -r; test "$?" = 0 -o -n "$REPLY"; }
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    71
      do
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    72
        case "$REPLY" in
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    73
          \#* | "") ;;
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    74
          *)
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    75
            COMPONENT="$REPLY"
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    76
            case "$COMPONENT" in
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    77
              jedit_build*) ;;
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    78
              *)
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    79
                echo "  component $COMPONENT"
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    80
                CONTRIB="$ARCHIVE_DIR/contrib/${COMPONENT}.tar.gz"
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    81
                if [ ! -f "$CONTRIB" ]; then
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    82
                  REMOTE="$ISABELLE_COMPONENT_REPOSITORY/${COMPONENT}.tar.gz"
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    83
                  echo "  download $REMOTE"
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    84
                  perl -MLWP::Simple -e "getprint '$REMOTE';" > "$CONTRIB"
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    85
                  perl -e "exit((stat('${CONTRIB}'))[7] == 0 ? 0 : 1);" && exit 2
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    86
                fi
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    87
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    88
                tar -C "$ISABELLE_TARGET/contrib" -x -z -f "$CONTRIB"
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    89
                echo "contrib/$COMPONENT" >> "$ISABELLE_TARGET/etc/components"
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    90
                ;;
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    91
            esac
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    92
            ;;
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    93
        esac
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    94
      done
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    95
    } < "$CATALOG_FILE"
33907
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    96
  fi
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    97
done
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    98
47742
316c67657fd3 move polyml within Cygwin /usr/local to simplify its rebasing;
wenzelm
parents: 47723
diff changeset
    99
50798
0ddc85dae1d5 purge other platforms uniformly;
wenzelm
parents: 50794
diff changeset
   100
# platform-specific patches
47833
12cb7b5d4b77 more windows-friendly presentation of main text files;
wenzelm
parents: 47760
diff changeset
   101
50790
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   102
case "$PLATFORM_FAMILY" in
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   103
  linux)
50798
0ddc85dae1d5 purge other platforms uniformly;
wenzelm
parents: 50794
diff changeset
   104
    OTHER_PLATFORMS='-name "x86*-darwin" -o -name "x86*-cygwin" -o -name "x86*-windows"'
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
   105
    ;;
50790
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   106
  macos)
50798
0ddc85dae1d5 purge other platforms uniformly;
wenzelm
parents: 50794
diff changeset
   107
    OTHER_PLATFORMS='-name "x86*-linux" -o -name "x86*-cygwin" -o -name "x86*-windows"'
0ddc85dae1d5 purge other platforms uniformly;
wenzelm
parents: 50794
diff changeset
   108
44807
44db3e309060 platform-specific look and feel;
wenzelm
parents: 41650
diff changeset
   109
    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
   110
      -e "s,delete-line.shortcut=.*,delete-line.shortcut=C+d,g;" \
23dbab7f8cf4 tweak keyboard shortcuts for Mac OS X;
wenzelm
parents: 44951
diff changeset
   111
      -e "s,delete.shortcut2=.*,delete.shortcut2=A+d,g;" \
44807
44db3e309060 platform-specific look and feel;
wenzelm
parents: 41650
diff changeset
   112
      "$TMP/$ISABELLE_NAME/src/Tools/jEdit/dist/properties/jEdit.props"
44db3e309060 platform-specific look and feel;
wenzelm
parents: 41650
diff changeset
   113
    ;;
50790
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   114
  windows)
50798
0ddc85dae1d5 purge other platforms uniformly;
wenzelm
parents: 50794
diff changeset
   115
    OTHER_PLATFORMS='-name "x86*-linux" -o -name "x86*-darwin"'
50790
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   116
44807
44db3e309060 platform-specific look and feel;
wenzelm
parents: 41650
diff changeset
   117
    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
   118
      "$TMP/$ISABELLE_NAME/src/Tools/jEdit/dist/properties/jEdit.props"
50790
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   119
50812
eb38dfcf834a manage cygwin as bundled quasi-component;
wenzelm
parents: 50810
diff changeset
   120
    mv "$ISABELLE_TARGET/contrib/cygwin" "$ISABELLE_TARGET"
50810
76967aa4fe84 outermost directory structure for Windows/Cygwin;
wenzelm
parents: 50798
diff changeset
   121
76967aa4fe84 outermost directory structure for Windows/Cygwin;
wenzelm
parents: 50798
diff changeset
   122
    cp "$ISABELLE_HOME/Admin/Windows/launch4j/Isabelle.exe" "$ISABELLE_TARGET/Isabelle2013.exe"
76967aa4fe84 outermost directory structure for Windows/Cygwin;
wenzelm
parents: 50798
diff changeset
   123
    cp "$ISABELLE_HOME/Admin/Windows/Cygwin/Cygwin-Setup.bat" \
76967aa4fe84 outermost directory structure for Windows/Cygwin;
wenzelm
parents: 50798
diff changeset
   124
      "$ISABELLE_HOME/Admin/Windows/Cygwin/Cygwin-Terminal.bat" "$ISABELLE_TARGET"
50790
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   125
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   126
    for NAME in ANNOUNCE README NEWS COPYRIGHT CONTRIBUTORS contrib/README
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   127
    do
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   128
      FILE="$ISABELLE_TARGET/$NAME"
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   129
      {
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   130
        echo '<?xml version="1.0" encoding="utf-8" ?>'
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   131
        echo '<!DOCTYPE html PUBLIC "-//W3C//DTD XHTML 1.0 Transitional//EN" "http://www.w3.org/TR/xhtml1/DTD/xhtml1-transitional.dtd">'
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   132
        echo '<html xmlns="http://www.w3.org/1999/xhtml">'
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   133
        echo '<head>'
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   134
        echo '<meta http-equiv="Content-Type" content="text/html; charset=utf-8"/>'
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   135
        echo "<title>${NAME}</title>"
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   136
        echo '</head>'
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   137
        echo '<body>'
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   138
        echo '<pre>'
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   139
        perl -w -p -e "s/&/&amp;/g; s/</&lt;/g; s/>/&gt;/g; s/'/&apos;/g; s/\"/&quot;/g;" "$FILE"
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   140
        echo '</pre>'
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   141
        echo '</body>'
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   142
      } > "${FILE}.html"
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   143
    done
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
   144
    ;;
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
   145
  *)
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
   146
    ;;
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
   147
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
   148
50798
0ddc85dae1d5 purge other platforms uniformly;
wenzelm
parents: 50794
diff changeset
   149
0ddc85dae1d5 purge other platforms uniformly;
wenzelm
parents: 50794
diff changeset
   150
# purge other platforms
0ddc85dae1d5 purge other platforms uniformly;
wenzelm
parents: 50794
diff changeset
   151
0ddc85dae1d5 purge other platforms uniformly;
wenzelm
parents: 50794
diff changeset
   152
(
0ddc85dae1d5 purge other platforms uniformly;
wenzelm
parents: 50794
diff changeset
   153
  cd "$ISABELLE_TARGET"
0ddc85dae1d5 purge other platforms uniformly;
wenzelm
parents: 50794
diff changeset
   154
  for DIR in $(eval find contrib $OTHER_PLATFORMS | sort)
0ddc85dae1d5 purge other platforms uniformly;
wenzelm
parents: 50794
diff changeset
   155
  do
0ddc85dae1d5 purge other platforms uniformly;
wenzelm
parents: 50794
diff changeset
   156
    echo "removing $DIR"
0ddc85dae1d5 purge other platforms uniformly;
wenzelm
parents: 50794
diff changeset
   157
    rm -rf "$DIR"
0ddc85dae1d5 purge other platforms uniformly;
wenzelm
parents: 50794
diff changeset
   158
  done
0ddc85dae1d5 purge other platforms uniformly;
wenzelm
parents: 50794
diff changeset
   159
)
0ddc85dae1d5 purge other platforms uniformly;
wenzelm
parents: 50794
diff changeset
   160
0ddc85dae1d5 purge other platforms uniformly;
wenzelm
parents: 50794
diff changeset
   161
0ddc85dae1d5 purge other platforms uniformly;
wenzelm
parents: 50794
diff changeset
   162
# archive
0ddc85dae1d5 purge other platforms uniformly;
wenzelm
parents: 50794
diff changeset
   163
0ddc85dae1d5 purge other platforms uniformly;
wenzelm
parents: 50794
diff changeset
   164
BUNDLE_ARCHIVE="${ARCHIVE_DIR}/${ISABELLE_NAME}_${PLATFORM_FAMILY}.tar.gz"
37315
af2adf0ae97d one all-inclusive bundle for each platform;
wenzelm
parents: 33907
diff changeset
   165
50790
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   166
echo "packaging $(basename "$BUNDLE_ARCHIVE")"
41555
178fdd4cca46 updated for release;
wenzelm
parents: 37357
diff changeset
   167
tar -C "$TMP" -c -z -f "$BUNDLE_ARCHIVE" "$ISABELLE_NAME"
33907
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
   168
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
   169
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
   170
# clean up
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
   171
rm -rf "$TMP"
50790
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   172
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   173
done
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   174