Admin/lib/Tools/makedist_bundle
author wenzelm
Tue, 02 Aug 2016 11:49:30 +0200
changeset 63578 e8990d0e3965
parent 63490 9416333a17c2
child 63897 85c83757788c
permissions -rwxr-xr-x
tuned;
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
51064
9c425ed4a52c separate makedist_bundle for each platform family, which is more useful for manual use;
wenzelm
parents: 50961
diff changeset
    12
  echo "Usage: isabelle $PRG ARCHIVE PLATFORM_FAMILY"
33907
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    13
  echo
61000
dd43980dc2c6 separate bundle for windows64;
wenzelm
parents: 60996
diff changeset
    14
  echo "  Re-package Isabelle source distribution with add-on components and"
dd43980dc2c6 separate bundle for windows64;
wenzelm
parents: 60996
diff changeset
    15
  echo "  post-hoc patches for platform family linux, windows, windows64, macos."
50790
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
51064
9c425ed4a52c separate makedist_bundle for each platform family, which is more useful for manual use;
wenzelm
parents: 50961
diff changeset
    31
[ "$#" -ne 2 ] && usage
50790
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
51064
9c425ed4a52c separate makedist_bundle for each platform family, which is more useful for manual use;
wenzelm
parents: 50961
diff changeset
    34
PLATFORM_FAMILY="$1"; shift
50790
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    35
61000
dd43980dc2c6 separate bundle for windows64;
wenzelm
parents: 60996
diff changeset
    36
if [ "$PLATFORM_FAMILY" = windows64 ]; then
dd43980dc2c6 separate bundle for windows64;
wenzelm
parents: 60996
diff changeset
    37
  PLATFORM_FAM="windows"
dd43980dc2c6 separate bundle for windows64;
wenzelm
parents: 60996
diff changeset
    38
else
dd43980dc2c6 separate bundle for windows64;
wenzelm
parents: 60996
diff changeset
    39
  PLATFORM_FAM="$PLATFORM_FAMILY"
dd43980dc2c6 separate bundle for windows64;
wenzelm
parents: 60996
diff changeset
    40
fi
dd43980dc2c6 separate bundle for windows64;
wenzelm
parents: 60996
diff changeset
    41
50790
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    42
[ -f "$ARCHIVE" ] || fail "Bad source archive: $ARCHIVE"
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    43
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    44
ARCHIVE_DIR="$(cd $(dirname "$ARCHIVE"); echo "$PWD")"
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    45
ISABELLE_NAME="$(basename "$ARCHIVE" .tar.gz)"
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    46
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    47
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    48
## main
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    49
50794
a62d048e6213 renamed tool;
wenzelm
parents: 50790
diff changeset
    50
TMP="/var/tmp/isabelle-makedist$$"
37315
af2adf0ae97d one all-inclusive bundle for each platform;
wenzelm
parents: 33907
diff changeset
    51
mkdir "$TMP" || fail "Cannot create directory $TMP"
af2adf0ae97d one all-inclusive bundle for each platform;
wenzelm
parents: 33907
diff changeset
    52
50790
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    53
ISABELLE_TARGET="$TMP/$ISABELLE_NAME"
33907
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    54
53418
d47a7cebe6b2 standardize jdk name;
wenzelm
parents: 52678
diff changeset
    55
tar -C "$TMP" -x -z -f "$ARCHIVE" || exit 2
33907
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    56
37315
af2adf0ae97d one all-inclusive bundle for each platform;
wenzelm
parents: 33907
diff changeset
    57
53581
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
    58
# distribution classpath (based on educated guesses)
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
    59
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
    60
splitarray ":" "$ISABELLE_CLASSPATH"; CLASSPATH_ENTRIES=("${SPLITARRAY[@]}")
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
    61
declare -a DISTRIBITION_CLASSPATH=()
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
    62
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
    63
for ENTRY in "${CLASSPATH_ENTRIES[@]}"
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
    64
do
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
    65
  ENTRY=$(echo "$ENTRY" | perl -n -e "
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
    66
    if (m,$ISABELLE_HOME/(.*)\$,) { print qq{\$1}; }
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
    67
    elsif (m,$USER_HOME/.isabelle/contrib/(.*)\$,) { print qq{contrib/\$1}; }
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
    68
    else { print; };
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
    69
    print qq{\n};")
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
    70
  DISTRIBITION_CLASSPATH["${#DISTRIBITION_CLASSPATH[@]}"]="$ENTRY"
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
    71
done
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
    72
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
    73
DISTRIBITION_CLASSPATH["${#DISTRIBITION_CLASSPATH[@]}"]="src/Tools/jEdit/dist/jedit.jar"
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
    74
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
    75
echo "classpath"
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
    76
for ENTRY in "${DISTRIBITION_CLASSPATH[@]}"
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
    77
do
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
    78
  echo "  $ENTRY"
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
    79
done
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
    80
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
    81
50790
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    82
# bundled components
33907
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    83
53485
a837df2ceee5 override potential changes in $ISABELLE_HOME_USER/etc/settings;
wenzelm
parents: 53484
diff changeset
    84
init_component "$JEDIT_HOME"
a837df2ceee5 override potential changes in $ISABELLE_HOME_USER/etc/settings;
wenzelm
parents: 53484
diff changeset
    85
62041
wenzelm
parents: 62037
diff changeset
    86
if [ ! -e "$ARCHIVE_DIR/contrib" ]; then
wenzelm
parents: 62037
diff changeset
    87
  if [ ! -e "$ARCHIVE_DIR/../contrib" ]; then
wenzelm
parents: 62037
diff changeset
    88
    mkdir -p "$ARCHIVE_DIR/contrib"
wenzelm
parents: 62037
diff changeset
    89
  else
wenzelm
parents: 62037
diff changeset
    90
    ln -s "../contrib" "$ARCHIVE_DIR/contrib"
wenzelm
parents: 62037
diff changeset
    91
  fi
62037
9bb80149dad9 avoid downloading contrib again;
wenzelm
parents: 62036
diff changeset
    92
fi
50790
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    93
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    94
echo "#bundled components" >> "$ISABELLE_TARGET/etc/components"
33907
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    95
61000
dd43980dc2c6 separate bundle for windows64;
wenzelm
parents: 60996
diff changeset
    96
for CATALOG in main "$PLATFORM_FAM" bundled "bundled-$PLATFORM_FAM"
50790
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    97
do
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    98
  CATALOG_FILE="$ISABELLE_HOME/Admin/components/$CATALOG"
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    99
  if [ -f "$CATALOG_FILE" ]
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   100
  then
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   101
    echo "catalog ${CATALOG}"
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   102
    {
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   103
      while { unset REPLY; read -r; test "$?" = 0 -o -n "$REPLY"; }
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   104
      do
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   105
        case "$REPLY" in
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   106
          \#* | "") ;;
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   107
          *)
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   108
            COMPONENT="$REPLY"
50891
d1a0335b4231 do not register quasi-components, notably cygwin;
wenzelm
parents: 50863
diff changeset
   109
            COMPONENT_DIR="$ISABELLE_TARGET/contrib/$COMPONENT"
50790
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   110
            case "$COMPONENT" in
57443
577f029fde39 ProofGeneral-4.2-2 is optional component (including the traditional helper scripts);
wenzelm
parents: 57084
diff changeset
   111
              jedit_build*) ;;
50790
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   112
              *)
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   113
                echo "  component $COMPONENT"
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   114
                CONTRIB="$ARCHIVE_DIR/contrib/${COMPONENT}.tar.gz"
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   115
                if [ ! -f "$CONTRIB" ]; then
63490
9416333a17c2 prefer curl: presumably more portable and versatile;
wenzelm
parents: 63058
diff changeset
   116
                  type -p curl  > /dev/null || fail "Cannot download files: missing curl"
50790
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   117
                  REMOTE="$ISABELLE_COMPONENT_REPOSITORY/${COMPONENT}.tar.gz"
63490
9416333a17c2 prefer curl: presumably more portable and versatile;
wenzelm
parents: 63058
diff changeset
   118
                  echo "  downloading $REMOTE"
9416333a17c2 prefer curl: presumably more portable and versatile;
wenzelm
parents: 63058
diff changeset
   119
                  curl --fail --silent "$REMOTE" > "$CONTRIB" || \
9416333a17c2 prefer curl: presumably more portable and versatile;
wenzelm
parents: 63058
diff changeset
   120
                    fail "Failed to download \"$REMOTE\""
50790
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   121
                  perl -e "exit((stat('${CONTRIB}'))[7] == 0 ? 0 : 1);" && exit 2
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   122
                fi
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   123
53418
d47a7cebe6b2 standardize jdk name;
wenzelm
parents: 52678
diff changeset
   124
                tar -C "$ISABELLE_TARGET/contrib" -x -z -f "$CONTRIB" || exit 2
50891
d1a0335b4231 do not register quasi-components, notably cygwin;
wenzelm
parents: 50863
diff changeset
   125
                if [ -f "$COMPONENT_DIR/etc/settings" -o -f "$COMPONENT_DIR/etc/components" ]
d1a0335b4231 do not register quasi-components, notably cygwin;
wenzelm
parents: 50863
diff changeset
   126
                then
53418
d47a7cebe6b2 standardize jdk name;
wenzelm
parents: 52678
diff changeset
   127
                  case "$COMPONENT" in
d47a7cebe6b2 standardize jdk name;
wenzelm
parents: 52678
diff changeset
   128
                    jdk-*)
d47a7cebe6b2 standardize jdk name;
wenzelm
parents: 52678
diff changeset
   129
                      mv "$ISABELLE_TARGET/contrib/$COMPONENT" "$ISABELLE_TARGET/contrib/jdk"
d47a7cebe6b2 standardize jdk name;
wenzelm
parents: 52678
diff changeset
   130
                      echo "contrib/jdk" >> "$ISABELLE_TARGET/etc/components"
d47a7cebe6b2 standardize jdk name;
wenzelm
parents: 52678
diff changeset
   131
                      ;;
d47a7cebe6b2 standardize jdk name;
wenzelm
parents: 52678
diff changeset
   132
                    *)
d47a7cebe6b2 standardize jdk name;
wenzelm
parents: 52678
diff changeset
   133
                      echo "contrib/$COMPONENT" >> "$ISABELLE_TARGET/etc/components"
d47a7cebe6b2 standardize jdk name;
wenzelm
parents: 52678
diff changeset
   134
                      ;;
d47a7cebe6b2 standardize jdk name;
wenzelm
parents: 52678
diff changeset
   135
                  esac
50891
d1a0335b4231 do not register quasi-components, notably cygwin;
wenzelm
parents: 50863
diff changeset
   136
                fi
50790
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   137
                ;;
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   138
            esac
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   139
            ;;
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   140
        esac
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   141
      done
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   142
    } < "$CATALOG_FILE"
33907
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
   143
  fi
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
   144
done
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
   145
47742
316c67657fd3 move polyml within Cygwin /usr/local to simplify its rebasing;
wenzelm
parents: 47723
diff changeset
   146
52501
e4f668f258a1 postinstall: recover Cygwin permissions;
wenzelm
parents: 51064
diff changeset
   147
# purge other platforms
e4f668f258a1 postinstall: recover Cygwin permissions;
wenzelm
parents: 51064
diff changeset
   148
61000
dd43980dc2c6 separate bundle for windows64;
wenzelm
parents: 60996
diff changeset
   149
function purge_target
52501
e4f668f258a1 postinstall: recover Cygwin permissions;
wenzelm
parents: 51064
diff changeset
   150
{
e4f668f258a1 postinstall: recover Cygwin permissions;
wenzelm
parents: 51064
diff changeset
   151
  (
e4f668f258a1 postinstall: recover Cygwin permissions;
wenzelm
parents: 51064
diff changeset
   152
    cd "$ISABELLE_TARGET"
61000
dd43980dc2c6 separate bundle for windows64;
wenzelm
parents: 60996
diff changeset
   153
    for DIR in $(eval find "$@" | sort)
52501
e4f668f258a1 postinstall: recover Cygwin permissions;
wenzelm
parents: 51064
diff changeset
   154
    do
e4f668f258a1 postinstall: recover Cygwin permissions;
wenzelm
parents: 51064
diff changeset
   155
      echo "removing $DIR"
e4f668f258a1 postinstall: recover Cygwin permissions;
wenzelm
parents: 51064
diff changeset
   156
      rm -rf "$DIR"
e4f668f258a1 postinstall: recover Cygwin permissions;
wenzelm
parents: 51064
diff changeset
   157
    done
e4f668f258a1 postinstall: recover Cygwin permissions;
wenzelm
parents: 51064
diff changeset
   158
  )
e4f668f258a1 postinstall: recover Cygwin permissions;
wenzelm
parents: 51064
diff changeset
   159
}
e4f668f258a1 postinstall: recover Cygwin permissions;
wenzelm
parents: 51064
diff changeset
   160
e4f668f258a1 postinstall: recover Cygwin permissions;
wenzelm
parents: 51064
diff changeset
   161
58792
d6d9bb806bb5 JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents: 58760
diff changeset
   162
# purge jdk -- keep only jre
d6d9bb806bb5 JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents: 58760
diff changeset
   163
d6d9bb806bb5 JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents: 58760
diff changeset
   164
function purge_jdk
d6d9bb806bb5 JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents: 58760
diff changeset
   165
{
d6d9bb806bb5 JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents: 58760
diff changeset
   166
  local DIR="contrib/jdk/$1"
d6d9bb806bb5 JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents: 58760
diff changeset
   167
  (
d6d9bb806bb5 JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents: 58760
diff changeset
   168
    cd "$ISABELLE_TARGET"
d6d9bb806bb5 JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents: 58760
diff changeset
   169
    if [ -d "$DIR/jre" ]; then
d6d9bb806bb5 JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents: 58760
diff changeset
   170
      for X in "$DIR"/*
d6d9bb806bb5 JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents: 58760
diff changeset
   171
      do
d6d9bb806bb5 JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents: 58760
diff changeset
   172
        case "$X" in
d6d9bb806bb5 JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents: 58760
diff changeset
   173
          */jre) ;;
d6d9bb806bb5 JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents: 58760
diff changeset
   174
          *)
d6d9bb806bb5 JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents: 58760
diff changeset
   175
            echo "removing $X"
d6d9bb806bb5 JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents: 58760
diff changeset
   176
            rm -rf "$X"
d6d9bb806bb5 JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents: 58760
diff changeset
   177
            ;;
d6d9bb806bb5 JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents: 58760
diff changeset
   178
        esac
d6d9bb806bb5 JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents: 58760
diff changeset
   179
      done
d6d9bb806bb5 JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents: 58760
diff changeset
   180
    else
d6d9bb806bb5 JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents: 58760
diff changeset
   181
      fail "Bad JDK directory: \"$DIR\""
d6d9bb806bb5 JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents: 58760
diff changeset
   182
    fi
d6d9bb806bb5 JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents: 58760
diff changeset
   183
  )
d6d9bb806bb5 JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents: 58760
diff changeset
   184
}
d6d9bb806bb5 JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents: 58760
diff changeset
   185
d6d9bb806bb5 JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents: 58760
diff changeset
   186
53483
74a4685a96c8 generate application based on $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS at build time (see also src/Tools/jEdit/lib/Tools/jedit);
wenzelm
parents: 53473
diff changeset
   187
# platform-specific setup (inside archive)
47833
12cb7b5d4b77 more windows-friendly presentation of main text files;
wenzelm
parents: 47760
diff changeset
   188
54661
6ad5242deaa7 specific application name for official bundle (as for Mac OS X);
wenzelm
parents: 54315
diff changeset
   189
perl -pi -e "s,view.title=Isabelle/jEdit,view.title=${ISABELLE_NAME},g;" \
6ad5242deaa7 specific application name for official bundle (as for Mac OS X);
wenzelm
parents: 54315
diff changeset
   190
  "$ISABELLE_TARGET/src/Tools/jEdit/dist/properties/jEdit.props"
6ad5242deaa7 specific application name for official bundle (as for Mac OS X);
wenzelm
parents: 54315
diff changeset
   191
61000
dd43980dc2c6 separate bundle for windows64;
wenzelm
parents: 60996
diff changeset
   192
case "$PLATFORM_FAM" in
50790
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   193
  linux)
61000
dd43980dc2c6 separate bundle for windows64;
wenzelm
parents: 60996
diff changeset
   194
    purge_target 'contrib -name "x86*-darwin" -o -name "x86*-cygwin" -o -name "x86*-windows"'
58792
d6d9bb806bb5 JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents: 58760
diff changeset
   195
    purge_jdk "x86-linux"
d6d9bb806bb5 JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents: 58760
diff changeset
   196
    purge_jdk "x86_64-linux"
53581
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
   197
61134
80ac5e17772d clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents: 61132
diff changeset
   198
    for PLATFORM in 32 64
80ac5e17772d clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents: 61132
diff changeset
   199
    do
80ac5e17772d clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents: 61132
diff changeset
   200
      (
80ac5e17772d clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents: 61132
diff changeset
   201
        echo "# Java runtime options for ${PLATFORM}bit platform"
80ac5e17772d clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents: 61132
diff changeset
   202
        declare -a JAVA_ARGS
80ac5e17772d clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents: 61132
diff changeset
   203
        if [ "$PLATFORM" = 32 ]; then
80ac5e17772d clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents: 61132
diff changeset
   204
          eval "JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS $JEDIT_JAVA_SYSTEM_OPTIONS $JEDIT_JAVA_OPTIONS32)"
80ac5e17772d clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents: 61132
diff changeset
   205
        else
80ac5e17772d clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents: 61132
diff changeset
   206
          eval "JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS $JEDIT_JAVA_SYSTEM_OPTIONS $JEDIT_JAVA_OPTIONS64)"
80ac5e17772d clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents: 61132
diff changeset
   207
        fi
80ac5e17772d clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents: 61132
diff changeset
   208
        for ARG in "${JAVA_ARGS[@]}"
80ac5e17772d clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents: 61132
diff changeset
   209
        do
80ac5e17772d clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents: 61132
diff changeset
   210
          echo "$ARG"
80ac5e17772d clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents: 61132
diff changeset
   211
        done
62036
773cb226738c provide server name uniformly on all platforms;
wenzelm
parents: 62033
diff changeset
   212
        echo "-Disabelle.jedit_server=${ISABELLE_NAME}"
61134
80ac5e17772d clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents: 61132
diff changeset
   213
      ) > "$ISABELLE_TARGET/${ISABELLE_NAME}.options${PLATFORM}"
80ac5e17772d clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents: 61132
diff changeset
   214
    done
80ac5e17772d clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents: 61132
diff changeset
   215
53581
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
   216
    LINUX_CLASSPATH=""
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
   217
    for ENTRY in "${DISTRIBITION_CLASSPATH[@]}"
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
   218
    do
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
   219
      if [ -z "$LINUX_CLASSPATH" ]; then
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
   220
        LINUX_CLASSPATH="\\\$ISABELLE_HOME/$ENTRY"
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
   221
      else
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
   222
        LINUX_CLASSPATH="$LINUX_CLASSPATH:\\\$ISABELLE_HOME/$ENTRY"
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
   223
      fi
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
   224
    done
61134
80ac5e17772d clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents: 61132
diff changeset
   225
54315
782e430e6a83 native executable for Linux (see Admin/Linux);
wenzelm
parents: 53936
diff changeset
   226
    cat "$ISABELLE_HOME/Admin/Linux/Isabelle.run" | \
61134
80ac5e17772d clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents: 61132
diff changeset
   227
      perl -p > "$ISABELLE_TARGET/${ISABELLE_NAME}.run" -e "s,{CLASSPATH},$LINUX_CLASSPATH,;"
54315
782e430e6a83 native executable for Linux (see Admin/Linux);
wenzelm
parents: 53936
diff changeset
   228
    chmod +x "$ISABELLE_TARGET/${ISABELLE_NAME}.run"
782e430e6a83 native executable for Linux (see Admin/Linux);
wenzelm
parents: 53936
diff changeset
   229
782e430e6a83 native executable for Linux (see Admin/Linux);
wenzelm
parents: 53936
diff changeset
   230
    mv "$ISABELLE_TARGET/contrib/linux_app" "$TMP/."
782e430e6a83 native executable for Linux (see Admin/Linux);
wenzelm
parents: 53936
diff changeset
   231
    cp "$TMP/linux_app/Isabelle" "$ISABELLE_TARGET/$ISABELLE_NAME"
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
   232
    ;;
50790
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   233
  macos)
61000
dd43980dc2c6 separate bundle for windows64;
wenzelm
parents: 60996
diff changeset
   234
    purge_target 'contrib -name "x86*-linux" -o -name "x86*-cygwin" -o -name "x86*-windows"'
58792
d6d9bb806bb5 JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents: 58760
diff changeset
   235
    purge_jdk "x86_64-darwin/Contents/Home"
52677
2b446d507296 fully-automated packaging (requires Mac OS X);
wenzelm
parents: 52674
diff changeset
   236
    mv "$ISABELLE_TARGET/contrib/macos_app" "$TMP/."
50798
0ddc85dae1d5 purge other platforms uniformly;
wenzelm
parents: 50794
diff changeset
   237
53883
f1c5f857df3d include MacOSX plugin by default -- disabled by default to avoid multiplatform confusion;
wenzelm
parents: 53581
diff changeset
   238
    perl -pi \
f1c5f857df3d include MacOSX plugin by default -- disabled by default to avoid multiplatform confusion;
wenzelm
parents: 53581
diff changeset
   239
      -e "s,lookAndFeel=.*,lookAndFeel=com.apple.laf.AquaLookAndFeel,g;" \
44964
23dbab7f8cf4 tweak keyboard shortcuts for Mac OS X;
wenzelm
parents: 44951
diff changeset
   240
      -e "s,delete-line.shortcut=.*,delete-line.shortcut=C+d,g;" \
23dbab7f8cf4 tweak keyboard shortcuts for Mac OS X;
wenzelm
parents: 44951
diff changeset
   241
      -e "s,delete.shortcut2=.*,delete.shortcut2=A+d,g;" \
53883
f1c5f857df3d include MacOSX plugin by default -- disabled by default to avoid multiplatform confusion;
wenzelm
parents: 53581
diff changeset
   242
      -e "s,plugin-blacklist.MacOSX.jar=true,plugin-blacklist.MacOSX.jar=,g;" \
53463
7863f4b3b73b generate application wrapper for Linux;
wenzelm
parents: 53421
diff changeset
   243
      "$ISABELLE_TARGET/src/Tools/jEdit/dist/properties/jEdit.props"
44807
44db3e309060 platform-specific look and feel;
wenzelm
parents: 41650
diff changeset
   244
    ;;
50790
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   245
  windows)
61000
dd43980dc2c6 separate bundle for windows64;
wenzelm
parents: 60996
diff changeset
   246
    if [ "$PLATFORM_FAMILY" = windows ]; then
dd43980dc2c6 separate bundle for windows64;
wenzelm
parents: 60996
diff changeset
   247
      purge_target 'contrib -name x86_64-windows -o -name "x86*-linux" -o -name "x86*-darwin"'
dd43980dc2c6 separate bundle for windows64;
wenzelm
parents: 60996
diff changeset
   248
      PLATFORM="x86-windows"
dd43980dc2c6 separate bundle for windows64;
wenzelm
parents: 60996
diff changeset
   249
      PLATFORM_IS_64="false"
dd43980dc2c6 separate bundle for windows64;
wenzelm
parents: 60996
diff changeset
   250
      PLATFORM_BITS="32"
dd43980dc2c6 separate bundle for windows64;
wenzelm
parents: 60996
diff changeset
   251
    else
dd43980dc2c6 separate bundle for windows64;
wenzelm
parents: 60996
diff changeset
   252
      purge_target 'contrib -name "x86*-linux" -o -name "x86*-darwin"'
dd43980dc2c6 separate bundle for windows64;
wenzelm
parents: 60996
diff changeset
   253
      purge_target 'contrib/jdk -name "x86-windows"'
dd43980dc2c6 separate bundle for windows64;
wenzelm
parents: 60996
diff changeset
   254
      PLATFORM="x86_64-windows"
dd43980dc2c6 separate bundle for windows64;
wenzelm
parents: 60996
diff changeset
   255
      PLATFORM_IS_64="true"
dd43980dc2c6 separate bundle for windows64;
wenzelm
parents: 60996
diff changeset
   256
      PLATFORM_BITS="64"
dd43980dc2c6 separate bundle for windows64;
wenzelm
parents: 60996
diff changeset
   257
    fi
dd43980dc2c6 separate bundle for windows64;
wenzelm
parents: 60996
diff changeset
   258
    purge_jdk "$PLATFORM"
dd43980dc2c6 separate bundle for windows64;
wenzelm
parents: 60996
diff changeset
   259
52677
2b446d507296 fully-automated packaging (requires Mac OS X);
wenzelm
parents: 52674
diff changeset
   260
    mv "$ISABELLE_TARGET/contrib/windows_app" "$TMP/."
50790
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   261
58760
3600ee38daa0 foldPainter like Windows L&F;
wenzelm
parents: 57871
diff changeset
   262
    perl -pi \
3600ee38daa0 foldPainter like Windows L&F;
wenzelm
parents: 57871
diff changeset
   263
      -e "s,lookAndFeel=.*,lookAndFeel=com.sun.java.swing.plaf.windows.WindowsLookAndFeel,g;" \
3600ee38daa0 foldPainter like Windows L&F;
wenzelm
parents: 57871
diff changeset
   264
      -e "s,foldPainter=.*,foldPainter=Square,g;" \
53463
7863f4b3b73b generate application wrapper for Linux;
wenzelm
parents: 53421
diff changeset
   265
      "$ISABELLE_TARGET/src/Tools/jEdit/dist/properties/jEdit.props"
50790
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   266
53484
1100982a071c generate application ini based on $ISABELLE_JAVA_SYSTEM_OPTIONS $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS at build time (see also lib/Tools/java and src/Tools/jEdit/lib/Tools/jedit);
wenzelm
parents: 53483
diff changeset
   267
    (
1100982a071c generate application ini based on $ISABELLE_JAVA_SYSTEM_OPTIONS $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS at build time (see also lib/Tools/java and src/Tools/jEdit/lib/Tools/jedit);
wenzelm
parents: 53483
diff changeset
   268
      declare -a JAVA_ARGS=()
61134
80ac5e17772d clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents: 61132
diff changeset
   269
      if [ "$PLATFORM_FAMILY" = windows ]; then
80ac5e17772d clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents: 61132
diff changeset
   270
        echo -e "# Java runtime options for 32bit platform\r"
80ac5e17772d clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents: 61132
diff changeset
   271
        eval "JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS $JEDIT_JAVA_SYSTEM_OPTIONS $JEDIT_JAVA_OPTIONS32)"
80ac5e17772d clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents: 61132
diff changeset
   272
      else
80ac5e17772d clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents: 61132
diff changeset
   273
        echo -e "# Java runtime options for 64bit platform\r"
80ac5e17772d clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents: 61132
diff changeset
   274
        eval "JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS $JEDIT_JAVA_SYSTEM_OPTIONS $JEDIT_JAVA_OPTIONS64)"
80ac5e17772d clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents: 61132
diff changeset
   275
      fi
53484
1100982a071c generate application ini based on $ISABELLE_JAVA_SYSTEM_OPTIONS $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS at build time (see also lib/Tools/java and src/Tools/jEdit/lib/Tools/jedit);
wenzelm
parents: 53483
diff changeset
   276
      for ARG in "${JAVA_ARGS[@]}"
1100982a071c generate application ini based on $ISABELLE_JAVA_SYSTEM_OPTIONS $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS at build time (see also lib/Tools/java and src/Tools/jEdit/lib/Tools/jedit);
wenzelm
parents: 53483
diff changeset
   277
      do
60994
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   278
        echo -e "$ARG\r"
53484
1100982a071c generate application ini based on $ISABELLE_JAVA_SYSTEM_OPTIONS $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS at build time (see also lib/Tools/java and src/Tools/jEdit/lib/Tools/jedit);
wenzelm
parents: 53483
diff changeset
   279
      done
62036
773cb226738c provide server name uniformly on all platforms;
wenzelm
parents: 62033
diff changeset
   280
      echo -e "-Disabelle.jedit_server=${ISABELLE_NAME}\r"
60994
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   281
    ) > "$ISABELLE_TARGET/${ISABELLE_NAME}.l4j.ini"
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   282
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   283
    (
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   284
      cd "$TMP"
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   285
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   286
      APP_TEMPLATE="$ISABELLE_HOME/Admin/Windows/launch4j"
53581
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
   287
60994
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   288
      (
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   289
        for ENTRY in "${DISTRIBITION_CLASSPATH[@]}"
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   290
        do
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   291
          ENTRY=$(echo "$ENTRY" | perl -p -e 's,/,\\\\,g;')
60996
25e8efae71d7 proper classpath for launcher;
wenzelm
parents: 60994
diff changeset
   292
          echo "    <cp>%EXEDIR%\\\\$ENTRY</cp>"
60994
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   293
        done
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   294
      ) > exe_classpath
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   295
      EXE_CLASSPATH="$(cat exe_classpath)"
53484
1100982a071c generate application ini based on $ISABELLE_JAVA_SYSTEM_OPTIONS $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS at build time (see also lib/Tools/java and src/Tools/jEdit/lib/Tools/jedit);
wenzelm
parents: 53483
diff changeset
   296
60994
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   297
      perl -p \
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   298
        -e "s,{OUTFILE},$ISABELLE_TARGET/${ISABELLE_NAME}.exe,g;" \
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   299
        -e "s,{ICON},$APP_TEMPLATE/isabelle_transparent.ico,g;" \
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   300
        -e "s,{SPLASH},$APP_TEMPLATE/isabelle.bmp,g;" \
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   301
        -e "s,{CLASSPATH},$EXE_CLASSPATH,g;" \
61160
12a72ca8329d single-instance application on Windows;
wenzelm
parents: 61151
diff changeset
   302
        -e "s,{ISABELLE_NAME},$ISABELLE_NAME,g;" \
61000
dd43980dc2c6 separate bundle for windows64;
wenzelm
parents: 60996
diff changeset
   303
        -e "s,{PLATFORM},$PLATFORM,g;" \
dd43980dc2c6 separate bundle for windows64;
wenzelm
parents: 60996
diff changeset
   304
        -e "s,{PLATFORM_IS_64},$PLATFORM_IS_64,g;" \
dd43980dc2c6 separate bundle for windows64;
wenzelm
parents: 60996
diff changeset
   305
        -e "s,{PLATFORM_BITS},$PLATFORM_BITS,g;" \
60994
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   306
        "$APP_TEMPLATE/isabelle.xml" > isabelle.xml
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   307
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   308
      "windows_app/launch4j-${ISABELLE_PLATFORM_FAMILY}/launch4j" isabelle.xml
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   309
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   310
      cp "$APP_TEMPLATE/manifest.xml" "$ISABELLE_TARGET/${ISABELLE_NAME}.exe.manifest"
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   311
    )
50790
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   312
52501
e4f668f258a1 postinstall: recover Cygwin permissions;
wenzelm
parents: 51064
diff changeset
   313
    (
e4f668f258a1 postinstall: recover Cygwin permissions;
wenzelm
parents: 51064
diff changeset
   314
      cd "$ISABELLE_TARGET"
e4f668f258a1 postinstall: recover Cygwin permissions;
wenzelm
parents: 51064
diff changeset
   315
60994
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   316
      cp "$ISABELLE_HOME/Admin/Windows/Cygwin/Cygwin-Setup.bat" \
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   317
        "$ISABELLE_HOME/Admin/Windows/Cygwin/Cygwin-Terminal.bat" .
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   318
52670
57a00f274130 build Windows application on the spot, using Unix tools;
wenzelm
parents: 52668
diff changeset
   319
      for NAME in postinstall rebaseall
52501
e4f668f258a1 postinstall: recover Cygwin permissions;
wenzelm
parents: 51064
diff changeset
   320
      do
e4f668f258a1 postinstall: recover Cygwin permissions;
wenzelm
parents: 51064
diff changeset
   321
        cp -a "$ISABELLE_HOME/Admin/Windows/Cygwin/isabelle/$NAME" \
e4f668f258a1 postinstall: recover Cygwin permissions;
wenzelm
parents: 51064
diff changeset
   322
          "contrib/cygwin/isabelle/."
e4f668f258a1 postinstall: recover Cygwin permissions;
wenzelm
parents: 51064
diff changeset
   323
      done
e4f668f258a1 postinstall: recover Cygwin permissions;
wenzelm
parents: 51064
diff changeset
   324
63058
8804faa80bc9 more portable: GNU find no longer supports "-perm +mode";
wenzelm
parents: 62164
diff changeset
   325
      if [ "$ISABELLE_PLATFORM_FAMILY" = macos ]; then
8804faa80bc9 more portable: GNU find no longer supports "-perm +mode";
wenzelm
parents: 62164
diff changeset
   326
        find . -type f -not -name '*.exe' -not -name '*.dll' -perm +100 \
8804faa80bc9 more portable: GNU find no longer supports "-perm +mode";
wenzelm
parents: 62164
diff changeset
   327
          -print0 > "contrib/cygwin/isabelle/executables"
8804faa80bc9 more portable: GNU find no longer supports "-perm +mode";
wenzelm
parents: 62164
diff changeset
   328
      else
8804faa80bc9 more portable: GNU find no longer supports "-perm +mode";
wenzelm
parents: 62164
diff changeset
   329
        find . -type f -not -name '*.exe' -not -name '*.dll' -executable \
8804faa80bc9 more portable: GNU find no longer supports "-perm +mode";
wenzelm
parents: 62164
diff changeset
   330
          -print0 > "contrib/cygwin/isabelle/executables"
8804faa80bc9 more portable: GNU find no longer supports "-perm +mode";
wenzelm
parents: 62164
diff changeset
   331
      fi
52501
e4f668f258a1 postinstall: recover Cygwin permissions;
wenzelm
parents: 51064
diff changeset
   332
52668
a467a6b4376c produce 7z archive for windows and preserve symlinks separately;
wenzelm
parents: 52561
diff changeset
   333
      find . -type l -exec echo "{}" ";" -exec readlink "{}" ";" \
a467a6b4376c produce 7z archive for windows and preserve symlinks separately;
wenzelm
parents: 52561
diff changeset
   334
        > "contrib/cygwin/isabelle/symlinks"
62096
8d5f2e3e836d more uniform treatment of symblinks: avoid confusion when unpacking .tar.gz bundle with NTFS links;
wenzelm
parents: 62041
diff changeset
   335
      find . -type l -exec rm "{}" ";"
53421
8e729ecd5b0c provide file indicator;
wenzelm
parents: 53418
diff changeset
   336
8e729ecd5b0c provide file indicator;
wenzelm
parents: 53418
diff changeset
   337
      touch "contrib/cygwin/isabelle/uninitialized"
52501
e4f668f258a1 postinstall: recover Cygwin permissions;
wenzelm
parents: 51064
diff changeset
   338
    )
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
   339
    ;;
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
   340
  *)
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
   341
    ;;
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
   342
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
   343
50798
0ddc85dae1d5 purge other platforms uniformly;
wenzelm
parents: 50794
diff changeset
   344
62032
620d3f63ead1 keep generic archive for all platforms -- required for Admin/Release/build_library;
wenzelm
parents: 61521
diff changeset
   345
# archive
620d3f63ead1 keep generic archive for all platforms -- required for Admin/Release/build_library;
wenzelm
parents: 61521
diff changeset
   346
620d3f63ead1 keep generic archive for all platforms -- required for Admin/Release/build_library;
wenzelm
parents: 61521
diff changeset
   347
BUNDLE_ARCHIVE="${ARCHIVE_DIR}/${ISABELLE_NAME}_${PLATFORM_FAMILY}.tar.gz"
620d3f63ead1 keep generic archive for all platforms -- required for Admin/Release/build_library;
wenzelm
parents: 61521
diff changeset
   348
620d3f63ead1 keep generic archive for all platforms -- required for Admin/Release/build_library;
wenzelm
parents: 61521
diff changeset
   349
echo "packaging $(basename "$BUNDLE_ARCHIVE")"
620d3f63ead1 keep generic archive for all platforms -- required for Admin/Release/build_library;
wenzelm
parents: 61521
diff changeset
   350
tar -C "$TMP" -c -z -f "$BUNDLE_ARCHIVE" "$ISABELLE_NAME" || exit 2
620d3f63ead1 keep generic archive for all platforms -- required for Admin/Release/build_library;
wenzelm
parents: 61521
diff changeset
   351
620d3f63ead1 keep generic archive for all platforms -- required for Admin/Release/build_library;
wenzelm
parents: 61521
diff changeset
   352
53483
74a4685a96c8 generate application based on $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS at build time (see also src/Tools/jEdit/lib/Tools/jedit);
wenzelm
parents: 53473
diff changeset
   353
# platform-specific setup (outside archive)
52670
57a00f274130 build Windows application on the spot, using Unix tools;
wenzelm
parents: 52668
diff changeset
   354
52677
2b446d507296 fully-automated packaging (requires Mac OS X);
wenzelm
parents: 52674
diff changeset
   355
if [ "$ISABELLE_PLATFORM_FAMILY" = linux -a "$PLATFORM_FAMILY" != macos -o "$ISABELLE_PLATFORM_FAMILY" = macos ]
52668
a467a6b4376c produce 7z archive for windows and preserve symlinks separately;
wenzelm
parents: 52561
diff changeset
   356
then
61000
dd43980dc2c6 separate bundle for windows64;
wenzelm
parents: 60996
diff changeset
   357
  case "$PLATFORM_FAM" in
61002
8c52177fb436 clarified linux application bundle;
wenzelm
parents: 61000
diff changeset
   358
    linux)
8c52177fb436 clarified linux application bundle;
wenzelm
parents: 61000
diff changeset
   359
      echo "application for $PLATFORM_FAMILY"
62164
a12413bec743 proper relative symlink;
wenzelm
parents: 62096
diff changeset
   360
      ln -s "${ISABELLE_NAME}_linux.tar.gz" "${ARCHIVE_DIR}/${ISABELLE_NAME}_app.tar.gz"
61002
8c52177fb436 clarified linux application bundle;
wenzelm
parents: 61000
diff changeset
   361
      ;;
52677
2b446d507296 fully-automated packaging (requires Mac OS X);
wenzelm
parents: 52674
diff changeset
   362
    macos)
52670
57a00f274130 build Windows application on the spot, using Unix tools;
wenzelm
parents: 52668
diff changeset
   363
      echo "application for $PLATFORM_FAMILY"
57a00f274130 build Windows application on the spot, using Unix tools;
wenzelm
parents: 52668
diff changeset
   364
      (
52677
2b446d507296 fully-automated packaging (requires Mac OS X);
wenzelm
parents: 52674
diff changeset
   365
        cd "$TMP"
2b446d507296 fully-automated packaging (requires Mac OS X);
wenzelm
parents: 52674
diff changeset
   366
54392
f14791d4f08d simplified App template;
wenzelm
parents: 54315
diff changeset
   367
        APP_TEMPLATE="$ISABELLE_HOME/Admin/MacOS"
57679
d7e22be79eb2 setup for drag-and-drop DMG;
wenzelm
parents: 57443
diff changeset
   368
        APP="dmg/${ISABELLE_NAME}.app"
d7e22be79eb2 setup for drag-and-drop DMG;
wenzelm
parents: 57443
diff changeset
   369
d7e22be79eb2 setup for drag-and-drop DMG;
wenzelm
parents: 57443
diff changeset
   370
        mkdir -p "dmg/.background"
d7e22be79eb2 setup for drag-and-drop DMG;
wenzelm
parents: 57443
diff changeset
   371
        cp "$APP_TEMPLATE/dmg/background.png" "dmg/.background/"
d7e22be79eb2 setup for drag-and-drop DMG;
wenzelm
parents: 57443
diff changeset
   372
        cp "$APP_TEMPLATE/dmg/DS_Store" "dmg/.DS_Store"
d7e22be79eb2 setup for drag-and-drop DMG;
wenzelm
parents: 57443
diff changeset
   373
        ln -s /Applications "dmg/."
52677
2b446d507296 fully-automated packaging (requires Mac OS X);
wenzelm
parents: 52674
diff changeset
   374
2b446d507296 fully-automated packaging (requires Mac OS X);
wenzelm
parents: 52674
diff changeset
   375
        for NAME in Java MacOS PlugIns Resources
2b446d507296 fully-automated packaging (requires Mac OS X);
wenzelm
parents: 52674
diff changeset
   376
        do
2b446d507296 fully-automated packaging (requires Mac OS X);
wenzelm
parents: 52674
diff changeset
   377
          mkdir -p "$APP/Contents/$NAME"
2b446d507296 fully-automated packaging (requires Mac OS X);
wenzelm
parents: 52674
diff changeset
   378
        done
2b446d507296 fully-automated packaging (requires Mac OS X);
wenzelm
parents: 52674
diff changeset
   379
53488
009d3bcf6907 generate application Info.plist based on $ISABELLE_JAVA_SYSTEM_OPTIONS $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS at build time (see also lib/Tools/java and src/Tools/jEdit/lib/Tools/jedit);
wenzelm
parents: 53485
diff changeset
   380
        (
009d3bcf6907 generate application Info.plist based on $ISABELLE_JAVA_SYSTEM_OPTIONS $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS at build time (see also lib/Tools/java and src/Tools/jEdit/lib/Tools/jedit);
wenzelm
parents: 53485
diff changeset
   381
          cat "$APP_TEMPLATE/Info.plist-part1"
009d3bcf6907 generate application Info.plist based on $ISABELLE_JAVA_SYSTEM_OPTIONS $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS at build time (see also lib/Tools/java and src/Tools/jEdit/lib/Tools/jedit);
wenzelm
parents: 53485
diff changeset
   382
009d3bcf6907 generate application Info.plist based on $ISABELLE_JAVA_SYSTEM_OPTIONS $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS at build time (see also lib/Tools/java and src/Tools/jEdit/lib/Tools/jedit);
wenzelm
parents: 53485
diff changeset
   383
          declare -a OPTIONS=()
61134
80ac5e17772d clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents: 61132
diff changeset
   384
          eval "OPTIONS=($ISABELLE_JAVA_SYSTEM_OPTIONS $JEDIT_JAVA_SYSTEM_OPTIONS $JEDIT_JAVA_OPTIONS64)"
53488
009d3bcf6907 generate application Info.plist based on $ISABELLE_JAVA_SYSTEM_OPTIONS $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS at build time (see also lib/Tools/java and src/Tools/jEdit/lib/Tools/jedit);
wenzelm
parents: 53485
diff changeset
   385
          for OPT in "${OPTIONS[@]}"
009d3bcf6907 generate application Info.plist based on $ISABELLE_JAVA_SYSTEM_OPTIONS $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS at build time (see also lib/Tools/java and src/Tools/jEdit/lib/Tools/jedit);
wenzelm
parents: 53485
diff changeset
   386
          do
009d3bcf6907 generate application Info.plist based on $ISABELLE_JAVA_SYSTEM_OPTIONS $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS at build time (see also lib/Tools/java and src/Tools/jEdit/lib/Tools/jedit);
wenzelm
parents: 53485
diff changeset
   387
            echo "<string>$OPT</string>"
009d3bcf6907 generate application Info.plist based on $ISABELLE_JAVA_SYSTEM_OPTIONS $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS at build time (see also lib/Tools/java and src/Tools/jEdit/lib/Tools/jedit);
wenzelm
parents: 53485
diff changeset
   388
          done
62036
773cb226738c provide server name uniformly on all platforms;
wenzelm
parents: 62033
diff changeset
   389
          echo "<string>-Disabelle.jedit_server={ISABELLE_NAME}</string>"
53489
97222a86aec0 proper apple.awt.application.name for Java 7;
wenzelm
parents: 53488
diff changeset
   390
          echo "<string>-Dapple.awt.application.name={ISABELLE_NAME}</string>"
53488
009d3bcf6907 generate application Info.plist based on $ISABELLE_JAVA_SYSTEM_OPTIONS $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS at build time (see also lib/Tools/java and src/Tools/jEdit/lib/Tools/jedit);
wenzelm
parents: 53485
diff changeset
   391
009d3bcf6907 generate application Info.plist based on $ISABELLE_JAVA_SYSTEM_OPTIONS $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS at build time (see also lib/Tools/java and src/Tools/jEdit/lib/Tools/jedit);
wenzelm
parents: 53485
diff changeset
   392
          cat "$APP_TEMPLATE/Info.plist-part2"
009d3bcf6907 generate application Info.plist based on $ISABELLE_JAVA_SYSTEM_OPTIONS $JEDIT_JAVA_OPTIONS $JEDIT_SYSTEM_OPTIONS at build time (see also lib/Tools/java and src/Tools/jEdit/lib/Tools/jedit);
wenzelm
parents: 53485
diff changeset
   393
        ) | perl -p -e "s,{ISABELLE_NAME},${ISABELLE_NAME},g;" > "$APP/Contents/Info.plist"
52677
2b446d507296 fully-automated packaging (requires Mac OS X);
wenzelm
parents: 52674
diff changeset
   394
53581
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
   395
        for ENTRY in "${DISTRIBITION_CLASSPATH[@]}"
52677
2b446d507296 fully-automated packaging (requires Mac OS X);
wenzelm
parents: 52674
diff changeset
   396
        do
53581
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
   397
          ln -sf "../Resources/${ISABELLE_NAME}/$ENTRY" "$APP/Contents/Java"
52677
2b446d507296 fully-automated packaging (requires Mac OS X);
wenzelm
parents: 52674
diff changeset
   398
        done
2b446d507296 fully-automated packaging (requires Mac OS X);
wenzelm
parents: 52674
diff changeset
   399
2b446d507296 fully-automated packaging (requires Mac OS X);
wenzelm
parents: 52674
diff changeset
   400
        cp -R "$APP_TEMPLATE/Resources/." "$APP/Contents/Resources/."
2b446d507296 fully-automated packaging (requires Mac OS X);
wenzelm
parents: 52674
diff changeset
   401
53418
d47a7cebe6b2 standardize jdk name;
wenzelm
parents: 52678
diff changeset
   402
        ln -sf "../Resources/${ISABELLE_NAME}/contrib/jdk/x86_64-darwin" \
61184
554bba935af1 more explicit indication of bundled jdk, which is required for newer versions of JavaAppLauncher;
wenzelm
parents: 61160
diff changeset
   403
          "$APP/Contents/PlugIns/bundled.jdk"
52677
2b446d507296 fully-automated packaging (requires Mac OS X);
wenzelm
parents: 52674
diff changeset
   404
2b446d507296 fully-automated packaging (requires Mac OS X);
wenzelm
parents: 52674
diff changeset
   405
        cp macos_app/JavaAppLauncher "$APP/Contents/MacOS/." && \
2b446d507296 fully-automated packaging (requires Mac OS X);
wenzelm
parents: 52674
diff changeset
   406
          chmod +x "$APP/Contents/MacOS/JavaAppLauncher"
2b446d507296 fully-automated packaging (requires Mac OS X);
wenzelm
parents: 52674
diff changeset
   407
2b446d507296 fully-automated packaging (requires Mac OS X);
wenzelm
parents: 52674
diff changeset
   408
        mv "$ISABELLE_NAME" "$APP/Contents/Resources/."
61151
9005aeb8125a convenient access to application properties;
wenzelm
parents: 61134
diff changeset
   409
        ln -sf "../../Info.plist" "$APP/Contents/Resources/$ISABELLE_NAME/${ISABELLE_NAME}.plist"
52677
2b446d507296 fully-automated packaging (requires Mac OS X);
wenzelm
parents: 52674
diff changeset
   410
        ln -sf "Contents/Resources/$ISABELLE_NAME" "$APP/Isabelle"
2b446d507296 fully-automated packaging (requires Mac OS X);
wenzelm
parents: 52674
diff changeset
   411
52678
9bc073ea478a overwrite target;
wenzelm
parents: 52677
diff changeset
   412
        rm -f "${ARCHIVE_DIR}/${ISABELLE_NAME}.dmg"
57679
d7e22be79eb2 setup for drag-and-drop DMG;
wenzelm
parents: 57443
diff changeset
   413
d7e22be79eb2 setup for drag-and-drop DMG;
wenzelm
parents: 57443
diff changeset
   414
        cd dmg
57682
648c5ef4876d proper volume name, such that background image is found in /Volumes/Isabelle/.background;
wenzelm
parents: 57679
diff changeset
   415
        hdiutil create -srcfolder . -volname Isabelle "${ARCHIVE_DIR}/${ISABELLE_NAME}.dmg"
52677
2b446d507296 fully-automated packaging (requires Mac OS X);
wenzelm
parents: 52674
diff changeset
   416
      )
2b446d507296 fully-automated packaging (requires Mac OS X);
wenzelm
parents: 52674
diff changeset
   417
      ;;
2b446d507296 fully-automated packaging (requires Mac OS X);
wenzelm
parents: 52674
diff changeset
   418
    windows)
2b446d507296 fully-automated packaging (requires Mac OS X);
wenzelm
parents: 52674
diff changeset
   419
      (
61000
dd43980dc2c6 separate bundle for windows64;
wenzelm
parents: 60996
diff changeset
   420
        if [ "$PLATFORM_FAMILY" = windows ]; then
61034
wenzelm
parents: 61002
diff changeset
   421
          PLATFORM_SUFFIX="-win32"
61000
dd43980dc2c6 separate bundle for windows64;
wenzelm
parents: 60996
diff changeset
   422
        else
dd43980dc2c6 separate bundle for windows64;
wenzelm
parents: 60996
diff changeset
   423
          PLATFORM_SUFFIX="-win64"
dd43980dc2c6 separate bundle for windows64;
wenzelm
parents: 60996
diff changeset
   424
        fi
dd43980dc2c6 separate bundle for windows64;
wenzelm
parents: 60996
diff changeset
   425
52677
2b446d507296 fully-automated packaging (requires Mac OS X);
wenzelm
parents: 52674
diff changeset
   426
        cd "$TMP"
2b446d507296 fully-automated packaging (requires Mac OS X);
wenzelm
parents: 52674
diff changeset
   427
        rm -f "${ARCHIVE_DIR}/${ISABELLE_NAME}.7z"
2b446d507296 fully-automated packaging (requires Mac OS X);
wenzelm
parents: 52674
diff changeset
   428
        7z -y -bd a "$TMP/${ISABELLE_NAME}.7z" "$ISABELLE_NAME" || exit 2
2b446d507296 fully-automated packaging (requires Mac OS X);
wenzelm
parents: 52674
diff changeset
   429
2b446d507296 fully-automated packaging (requires Mac OS X);
wenzelm
parents: 52674
diff changeset
   430
        echo "application for $PLATFORM_FAMILY"
2b446d507296 fully-automated packaging (requires Mac OS X);
wenzelm
parents: 52674
diff changeset
   431
        (
2b446d507296 fully-automated packaging (requires Mac OS X);
wenzelm
parents: 52674
diff changeset
   432
          cat "windows_app/7zsd_All.sfx"
2b446d507296 fully-automated packaging (requires Mac OS X);
wenzelm
parents: 52674
diff changeset
   433
          cat "$ISABELLE_HOME/Admin/Windows/Installer/sfx.txt" | \
2b446d507296 fully-automated packaging (requires Mac OS X);
wenzelm
parents: 52674
diff changeset
   434
            perl -p -e "s,{ISABELLE_NAME},${ISABELLE_NAME},g;"
2b446d507296 fully-automated packaging (requires Mac OS X);
wenzelm
parents: 52674
diff changeset
   435
          cat "$TMP/${ISABELLE_NAME}.7z"
61000
dd43980dc2c6 separate bundle for windows64;
wenzelm
parents: 60996
diff changeset
   436
        ) > "${ARCHIVE_DIR}/${ISABELLE_NAME}${PLATFORM_SUFFIX}.exe"
dd43980dc2c6 separate bundle for windows64;
wenzelm
parents: 60996
diff changeset
   437
        chmod +x "${ARCHIVE_DIR}/${ISABELLE_NAME}${PLATFORM_SUFFIX}.exe"
52677
2b446d507296 fully-automated packaging (requires Mac OS X);
wenzelm
parents: 52674
diff changeset
   438
      )
2b446d507296 fully-automated packaging (requires Mac OS X);
wenzelm
parents: 52674
diff changeset
   439
      ;;
2b446d507296 fully-automated packaging (requires Mac OS X);
wenzelm
parents: 52674
diff changeset
   440
    *)
2b446d507296 fully-automated packaging (requires Mac OS X);
wenzelm
parents: 52674
diff changeset
   441
      ;;
2b446d507296 fully-automated packaging (requires Mac OS X);
wenzelm
parents: 52674
diff changeset
   442
  esac
2b446d507296 fully-automated packaging (requires Mac OS X);
wenzelm
parents: 52674
diff changeset
   443
else
2b446d507296 fully-automated packaging (requires Mac OS X);
wenzelm
parents: 52674
diff changeset
   444
  echo "### Cannot build application for $PLATFORM_FAMILY on $ISABELLE_PLATFORM_FAMILY"
52668
a467a6b4376c produce 7z archive for windows and preserve symlinks separately;
wenzelm
parents: 52561
diff changeset
   445
fi
33907
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
   446
52677
2b446d507296 fully-automated packaging (requires Mac OS X);
wenzelm
parents: 52674
diff changeset
   447
33907
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
   448
# clean up
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
   449
rm -rf "$TMP"