Admin/lib/Tools/makedist_bundle
author wenzelm
Sat, 30 Sep 2017 11:49:00 +0200
changeset 66726 5223317b8c56
parent 66724 1e1f9f603385
child 66906 03a96b8c7c06
permissions -rwxr-xr-x
updated to x86_64-cygwin;
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
64144
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
    12
  echo "Usage: isabelle $PRG ARCHIVE PLATFORM_FAMILY [REMOTE_MAC]"
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"
66724
1e1f9f603385 "windows" application is always x86_64;
wenzelm
parents: 64176
diff changeset
    15
  echo "  post-hoc patches for platform family linux, windows, macos."
50790
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    16
  echo
64144
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
    17
  echo "  The optional remote Mac OS X system is used for dmg build."
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
    18
  echo
50790
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    19
  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
    20
  echo
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    21
  exit 1
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    22
}
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
function fail()
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
  echo "$1" >&2
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    27
  exit 2
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    28
}
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    29
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    30
50790
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    31
## arguments
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    32
64144
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
    33
[ "$#" -ne 2 -a "$#" -ne 3 ] && usage
50790
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
ARCHIVE="$1"; shift
51064
9c425ed4a52c separate makedist_bundle for each platform family, which is more useful for manual use;
wenzelm
parents: 50961
diff changeset
    36
PLATFORM_FAMILY="$1"; shift
64144
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
    37
REMOTE_MAC="$1"; shift
50790
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    38
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    39
[ -f "$ARCHIVE" ] || fail "Bad source archive: $ARCHIVE"
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
ARCHIVE_DIR="$(cd $(dirname "$ARCHIVE"); echo "$PWD")"
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    42
ISABELLE_NAME="$(basename "$ARCHIVE" .tar.gz)"
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
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    45
## main
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    46
63897
85c83757788c consolidate implicit use of gnutar, via somewhat fragile dynamic scoping within existing shell scripts;
wenzelm
parents: 63490
diff changeset
    47
#GNU tar (notably on Mac OS X)
85c83757788c consolidate implicit use of gnutar, via somewhat fragile dynamic scoping within existing shell scripts;
wenzelm
parents: 63490
diff changeset
    48
type -p gnutar >/dev/null && function tar() { gnutar "$@"; }
85c83757788c consolidate implicit use of gnutar, via somewhat fragile dynamic scoping within existing shell scripts;
wenzelm
parents: 63490
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}; }
64175
8945293a9ed0 special case for local contrib, e.g. lxbroy10;
wenzelm
parents: 64147
diff changeset
    68
    elsif (m,/home/isabelle/contrib/(.*)\$,) { print qq{contrib/\$1}; }
53581
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
    69
    else { print; };
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
    70
    print qq{\n};")
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
    71
  DISTRIBITION_CLASSPATH["${#DISTRIBITION_CLASSPATH[@]}"]="$ENTRY"
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
    72
done
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
    73
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
    74
DISTRIBITION_CLASSPATH["${#DISTRIBITION_CLASSPATH[@]}"]="src/Tools/jEdit/dist/jedit.jar"
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
    75
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
    76
echo "classpath"
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
    77
for ENTRY in "${DISTRIBITION_CLASSPATH[@]}"
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
    78
do
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
    79
  echo "  $ENTRY"
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
    80
done
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
    81
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
    82
50790
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    83
# bundled components
33907
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    84
62041
wenzelm
parents: 62037
diff changeset
    85
if [ ! -e "$ARCHIVE_DIR/contrib" ]; then
wenzelm
parents: 62037
diff changeset
    86
  if [ ! -e "$ARCHIVE_DIR/../contrib" ]; then
wenzelm
parents: 62037
diff changeset
    87
    mkdir -p "$ARCHIVE_DIR/contrib"
wenzelm
parents: 62037
diff changeset
    88
  else
wenzelm
parents: 62037
diff changeset
    89
    ln -s "../contrib" "$ARCHIVE_DIR/contrib"
wenzelm
parents: 62037
diff changeset
    90
  fi
62037
9bb80149dad9 avoid downloading contrib again;
wenzelm
parents: 62036
diff changeset
    91
fi
50790
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
echo "#bundled components" >> "$ISABELLE_TARGET/etc/components"
33907
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
    94
66724
1e1f9f603385 "windows" application is always x86_64;
wenzelm
parents: 64176
diff changeset
    95
for CATALOG in main "$PLATFORM_FAMILY" bundled "bundled-$PLATFORM_FAMILY"
50790
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    96
do
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    97
  CATALOG_FILE="$ISABELLE_HOME/Admin/components/$CATALOG"
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    98
  if [ -f "$CATALOG_FILE" ]
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
    99
  then
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   100
    echo "catalog ${CATALOG}"
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   101
    {
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   102
      while { unset REPLY; read -r; test "$?" = 0 -o -n "$REPLY"; }
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   103
      do
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   104
        case "$REPLY" in
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   105
          \#* | "") ;;
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
            COMPONENT="$REPLY"
50891
d1a0335b4231 do not register quasi-components, notably cygwin;
wenzelm
parents: 50863
diff changeset
   108
            COMPONENT_DIR="$ISABELLE_TARGET/contrib/$COMPONENT"
50790
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   109
            case "$COMPONENT" in
57443
577f029fde39 ProofGeneral-4.2-2 is optional component (including the traditional helper scripts);
wenzelm
parents: 57084
diff changeset
   110
              jedit_build*) ;;
50790
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   111
              *)
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   112
                echo "  component $COMPONENT"
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   113
                CONTRIB="$ARCHIVE_DIR/contrib/${COMPONENT}.tar.gz"
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   114
                if [ ! -f "$CONTRIB" ]; then
63490
9416333a17c2 prefer curl: presumably more portable and versatile;
wenzelm
parents: 63058
diff changeset
   115
                  type -p curl  > /dev/null || fail "Cannot download files: missing curl"
50790
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   116
                  REMOTE="$ISABELLE_COMPONENT_REPOSITORY/${COMPONENT}.tar.gz"
63490
9416333a17c2 prefer curl: presumably more portable and versatile;
wenzelm
parents: 63058
diff changeset
   117
                  echo "  downloading $REMOTE"
9416333a17c2 prefer curl: presumably more portable and versatile;
wenzelm
parents: 63058
diff changeset
   118
                  curl --fail --silent "$REMOTE" > "$CONTRIB" || \
9416333a17c2 prefer curl: presumably more portable and versatile;
wenzelm
parents: 63058
diff changeset
   119
                    fail "Failed to download \"$REMOTE\""
50790
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   120
                  perl -e "exit((stat('${CONTRIB}'))[7] == 0 ? 0 : 1);" && exit 2
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   121
                fi
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   122
53418
d47a7cebe6b2 standardize jdk name;
wenzelm
parents: 52678
diff changeset
   123
                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
   124
                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
   125
                then
53418
d47a7cebe6b2 standardize jdk name;
wenzelm
parents: 52678
diff changeset
   126
                  case "$COMPONENT" in
d47a7cebe6b2 standardize jdk name;
wenzelm
parents: 52678
diff changeset
   127
                    jdk-*)
d47a7cebe6b2 standardize jdk name;
wenzelm
parents: 52678
diff changeset
   128
                      mv "$ISABELLE_TARGET/contrib/$COMPONENT" "$ISABELLE_TARGET/contrib/jdk"
d47a7cebe6b2 standardize jdk name;
wenzelm
parents: 52678
diff changeset
   129
                      echo "contrib/jdk" >> "$ISABELLE_TARGET/etc/components"
d47a7cebe6b2 standardize jdk name;
wenzelm
parents: 52678
diff changeset
   130
                      ;;
d47a7cebe6b2 standardize jdk name;
wenzelm
parents: 52678
diff changeset
   131
                    *)
d47a7cebe6b2 standardize jdk name;
wenzelm
parents: 52678
diff changeset
   132
                      echo "contrib/$COMPONENT" >> "$ISABELLE_TARGET/etc/components"
d47a7cebe6b2 standardize jdk name;
wenzelm
parents: 52678
diff changeset
   133
                      ;;
d47a7cebe6b2 standardize jdk name;
wenzelm
parents: 52678
diff changeset
   134
                  esac
50891
d1a0335b4231 do not register quasi-components, notably cygwin;
wenzelm
parents: 50863
diff changeset
   135
                fi
50790
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   136
                ;;
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   137
            esac
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   138
            ;;
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   139
        esac
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   140
      done
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   141
    } < "$CATALOG_FILE"
33907
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
   142
  fi
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
   143
done
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
   144
47742
316c67657fd3 move polyml within Cygwin /usr/local to simplify its rebasing;
wenzelm
parents: 47723
diff changeset
   145
52501
e4f668f258a1 postinstall: recover Cygwin permissions;
wenzelm
parents: 51064
diff changeset
   146
# purge other platforms
e4f668f258a1 postinstall: recover Cygwin permissions;
wenzelm
parents: 51064
diff changeset
   147
61000
dd43980dc2c6 separate bundle for windows64;
wenzelm
parents: 60996
diff changeset
   148
function purge_target
52501
e4f668f258a1 postinstall: recover Cygwin permissions;
wenzelm
parents: 51064
diff changeset
   149
{
e4f668f258a1 postinstall: recover Cygwin permissions;
wenzelm
parents: 51064
diff changeset
   150
  (
e4f668f258a1 postinstall: recover Cygwin permissions;
wenzelm
parents: 51064
diff changeset
   151
    cd "$ISABELLE_TARGET"
61000
dd43980dc2c6 separate bundle for windows64;
wenzelm
parents: 60996
diff changeset
   152
    for DIR in $(eval find "$@" | sort)
52501
e4f668f258a1 postinstall: recover Cygwin permissions;
wenzelm
parents: 51064
diff changeset
   153
    do
e4f668f258a1 postinstall: recover Cygwin permissions;
wenzelm
parents: 51064
diff changeset
   154
      echo "removing $DIR"
e4f668f258a1 postinstall: recover Cygwin permissions;
wenzelm
parents: 51064
diff changeset
   155
      rm -rf "$DIR"
e4f668f258a1 postinstall: recover Cygwin permissions;
wenzelm
parents: 51064
diff changeset
   156
    done
e4f668f258a1 postinstall: recover Cygwin permissions;
wenzelm
parents: 51064
diff changeset
   157
  )
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
58792
d6d9bb806bb5 JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents: 58760
diff changeset
   161
# 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
   162
d6d9bb806bb5 JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents: 58760
diff changeset
   163
function purge_jdk
d6d9bb806bb5 JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents: 58760
diff changeset
   164
{
d6d9bb806bb5 JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents: 58760
diff changeset
   165
  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
   166
  (
d6d9bb806bb5 JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents: 58760
diff changeset
   167
    cd "$ISABELLE_TARGET"
d6d9bb806bb5 JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents: 58760
diff changeset
   168
    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
   169
      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
   170
      do
d6d9bb806bb5 JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents: 58760
diff changeset
   171
        case "$X" in
d6d9bb806bb5 JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents: 58760
diff changeset
   172
          */jre) ;;
d6d9bb806bb5 JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents: 58760
diff changeset
   173
          *)
d6d9bb806bb5 JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents: 58760
diff changeset
   174
            echo "removing $X"
d6d9bb806bb5 JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents: 58760
diff changeset
   175
            rm -rf "$X"
d6d9bb806bb5 JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents: 58760
diff changeset
   176
            ;;
d6d9bb806bb5 JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents: 58760
diff changeset
   177
        esac
d6d9bb806bb5 JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents: 58760
diff changeset
   178
      done
d6d9bb806bb5 JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents: 58760
diff changeset
   179
    else
d6d9bb806bb5 JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents: 58760
diff changeset
   180
      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
   181
    fi
d6d9bb806bb5 JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents: 58760
diff changeset
   182
  )
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
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
   186
# platform-specific setup (inside archive)
47833
12cb7b5d4b77 more windows-friendly presentation of main text files;
wenzelm
parents: 47760
diff changeset
   187
54661
6ad5242deaa7 specific application name for official bundle (as for Mac OS X);
wenzelm
parents: 54315
diff changeset
   188
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
   189
  "$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
   190
66724
1e1f9f603385 "windows" application is always x86_64;
wenzelm
parents: 64176
diff changeset
   191
case "$PLATFORM_FAMILY" in
50790
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   192
  linux)
61000
dd43980dc2c6 separate bundle for windows64;
wenzelm
parents: 60996
diff changeset
   193
    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
   194
    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
   195
    purge_jdk "x86_64-linux"
53581
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
   196
61134
80ac5e17772d clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents: 61132
diff changeset
   197
    for PLATFORM in 32 64
80ac5e17772d clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents: 61132
diff changeset
   198
    do
80ac5e17772d clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents: 61132
diff changeset
   199
      (
64144
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   200
        init_component "$JEDIT_HOME"
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   201
61134
80ac5e17772d clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents: 61132
diff changeset
   202
        echo "# Java runtime options for ${PLATFORM}bit platform"
80ac5e17772d clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents: 61132
diff changeset
   203
        declare -a JAVA_ARGS
80ac5e17772d clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents: 61132
diff changeset
   204
        if [ "$PLATFORM" = 32 ]; then
80ac5e17772d clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents: 61132
diff changeset
   205
          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
   206
        else
80ac5e17772d clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents: 61132
diff changeset
   207
          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
   208
        fi
80ac5e17772d clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents: 61132
diff changeset
   209
        for ARG in "${JAVA_ARGS[@]}"
80ac5e17772d clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents: 61132
diff changeset
   210
        do
80ac5e17772d clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents: 61132
diff changeset
   211
          echo "$ARG"
80ac5e17772d clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents: 61132
diff changeset
   212
        done
62036
773cb226738c provide server name uniformly on all platforms;
wenzelm
parents: 62033
diff changeset
   213
        echo "-Disabelle.jedit_server=${ISABELLE_NAME}"
61134
80ac5e17772d clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents: 61132
diff changeset
   214
      ) > "$ISABELLE_TARGET/${ISABELLE_NAME}.options${PLATFORM}"
80ac5e17772d clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents: 61132
diff changeset
   215
    done
80ac5e17772d clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents: 61132
diff changeset
   216
53581
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
   217
    LINUX_CLASSPATH=""
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
   218
    for ENTRY in "${DISTRIBITION_CLASSPATH[@]}"
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
   219
    do
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
   220
      if [ -z "$LINUX_CLASSPATH" ]; then
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
   221
        LINUX_CLASSPATH="\\\$ISABELLE_HOME/$ENTRY"
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
   222
      else
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
   223
        LINUX_CLASSPATH="$LINUX_CLASSPATH:\\\$ISABELLE_HOME/$ENTRY"
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
   224
      fi
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
   225
    done
61134
80ac5e17772d clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents: 61132
diff changeset
   226
54315
782e430e6a83 native executable for Linux (see Admin/Linux);
wenzelm
parents: 53936
diff changeset
   227
    cat "$ISABELLE_HOME/Admin/Linux/Isabelle.run" | \
61134
80ac5e17772d clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents: 61132
diff changeset
   228
      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
   229
    chmod +x "$ISABELLE_TARGET/${ISABELLE_NAME}.run"
782e430e6a83 native executable for Linux (see Admin/Linux);
wenzelm
parents: 53936
diff changeset
   230
782e430e6a83 native executable for Linux (see Admin/Linux);
wenzelm
parents: 53936
diff changeset
   231
    mv "$ISABELLE_TARGET/contrib/linux_app" "$TMP/."
782e430e6a83 native executable for Linux (see Admin/Linux);
wenzelm
parents: 53936
diff changeset
   232
    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
   233
    ;;
50790
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   234
  macos)
61000
dd43980dc2c6 separate bundle for windows64;
wenzelm
parents: 60996
diff changeset
   235
    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
   236
    purge_jdk "x86_64-darwin/Contents/Home"
52677
2b446d507296 fully-automated packaging (requires Mac OS X);
wenzelm
parents: 52674
diff changeset
   237
    mv "$ISABELLE_TARGET/contrib/macos_app" "$TMP/."
50798
0ddc85dae1d5 purge other platforms uniformly;
wenzelm
parents: 50794
diff changeset
   238
53883
f1c5f857df3d include MacOSX plugin by default -- disabled by default to avoid multiplatform confusion;
wenzelm
parents: 53581
diff changeset
   239
    perl -pi \
f1c5f857df3d include MacOSX plugin by default -- disabled by default to avoid multiplatform confusion;
wenzelm
parents: 53581
diff changeset
   240
      -e "s,lookAndFeel=.*,lookAndFeel=com.apple.laf.AquaLookAndFeel,g;" \
44964
23dbab7f8cf4 tweak keyboard shortcuts for Mac OS X;
wenzelm
parents: 44951
diff changeset
   241
      -e "s,delete-line.shortcut=.*,delete-line.shortcut=C+d,g;" \
23dbab7f8cf4 tweak keyboard shortcuts for Mac OS X;
wenzelm
parents: 44951
diff changeset
   242
      -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
   243
      -e "s,plugin-blacklist.MacOSX.jar=true,plugin-blacklist.MacOSX.jar=,g;" \
53463
7863f4b3b73b generate application wrapper for Linux;
wenzelm
parents: 53421
diff changeset
   244
      "$ISABELLE_TARGET/src/Tools/jEdit/dist/properties/jEdit.props"
44807
44db3e309060 platform-specific look and feel;
wenzelm
parents: 41650
diff changeset
   245
    ;;
50790
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   246
  windows)
66726
5223317b8c56 updated to x86_64-cygwin;
wenzelm
parents: 66724
diff changeset
   247
    purge_target 'contrib -name "x86*-linux" -o -name "x86*-darwin" -o -name "x86-cygwin"'
66724
1e1f9f603385 "windows" application is always x86_64;
wenzelm
parents: 64176
diff changeset
   248
    purge_target 'contrib/jdk -name "x86-windows"'
1e1f9f603385 "windows" application is always x86_64;
wenzelm
parents: 64176
diff changeset
   249
    purge_jdk "x86_64-windows"
61000
dd43980dc2c6 separate bundle for windows64;
wenzelm
parents: 60996
diff changeset
   250
52677
2b446d507296 fully-automated packaging (requires Mac OS X);
wenzelm
parents: 52674
diff changeset
   251
    mv "$ISABELLE_TARGET/contrib/windows_app" "$TMP/."
50790
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   252
58760
3600ee38daa0 foldPainter like Windows L&F;
wenzelm
parents: 57871
diff changeset
   253
    perl -pi \
3600ee38daa0 foldPainter like Windows L&F;
wenzelm
parents: 57871
diff changeset
   254
      -e "s,lookAndFeel=.*,lookAndFeel=com.sun.java.swing.plaf.windows.WindowsLookAndFeel,g;" \
3600ee38daa0 foldPainter like Windows L&F;
wenzelm
parents: 57871
diff changeset
   255
      -e "s,foldPainter=.*,foldPainter=Square,g;" \
53463
7863f4b3b73b generate application wrapper for Linux;
wenzelm
parents: 53421
diff changeset
   256
      "$ISABELLE_TARGET/src/Tools/jEdit/dist/properties/jEdit.props"
50790
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   257
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
   258
    (
64144
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   259
      init_component "$JEDIT_HOME"
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   260
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
   261
      declare -a JAVA_ARGS=()
66724
1e1f9f603385 "windows" application is always x86_64;
wenzelm
parents: 64176
diff changeset
   262
      echo -e "# Java runtime options for 64bit platform\r"
1e1f9f603385 "windows" application is always x86_64;
wenzelm
parents: 64176
diff changeset
   263
      eval "JAVA_ARGS=($ISABELLE_JAVA_SYSTEM_OPTIONS $JEDIT_JAVA_SYSTEM_OPTIONS $JEDIT_JAVA_OPTIONS64)"
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
   264
      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
   265
      do
60994
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   266
        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
   267
      done
62036
773cb226738c provide server name uniformly on all platforms;
wenzelm
parents: 62033
diff changeset
   268
      echo -e "-Disabelle.jedit_server=${ISABELLE_NAME}\r"
60994
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   269
    ) > "$ISABELLE_TARGET/${ISABELLE_NAME}.l4j.ini"
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   270
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   271
    (
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   272
      cd "$TMP"
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   273
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   274
      APP_TEMPLATE="$ISABELLE_HOME/Admin/Windows/launch4j"
53581
c0ad478abf50 generate distribution classpath for cold-start application wrappers;
wenzelm
parents: 53489
diff changeset
   275
60994
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   276
      (
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   277
        for ENTRY in "${DISTRIBITION_CLASSPATH[@]}"
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   278
        do
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   279
          ENTRY=$(echo "$ENTRY" | perl -p -e 's,/,\\\\,g;')
60996
25e8efae71d7 proper classpath for launcher;
wenzelm
parents: 60994
diff changeset
   280
          echo "    <cp>%EXEDIR%\\\\$ENTRY</cp>"
60994
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   281
        done
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   282
      ) > exe_classpath
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   283
      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
   284
60994
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   285
      perl -p \
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   286
        -e "s,{OUTFILE},$ISABELLE_TARGET/${ISABELLE_NAME}.exe,g;" \
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   287
        -e "s,{ICON},$APP_TEMPLATE/isabelle_transparent.ico,g;" \
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   288
        -e "s,{SPLASH},$APP_TEMPLATE/isabelle.bmp,g;" \
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   289
        -e "s,{CLASSPATH},$EXE_CLASSPATH,g;" \
61160
12a72ca8329d single-instance application on Windows;
wenzelm
parents: 61151
diff changeset
   290
        -e "s,{ISABELLE_NAME},$ISABELLE_NAME,g;" \
60994
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   291
        "$APP_TEMPLATE/isabelle.xml" > isabelle.xml
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   292
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   293
      "windows_app/launch4j-${ISABELLE_PLATFORM_FAMILY}/launch4j" isabelle.xml
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   294
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   295
      cp "$APP_TEMPLATE/manifest.xml" "$ISABELLE_TARGET/${ISABELLE_NAME}.exe.manifest"
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   296
    )
50790
0088e0805b10 updated makebundles as Admin isabelle tool;
wenzelm
parents: 48190
diff changeset
   297
52501
e4f668f258a1 postinstall: recover Cygwin permissions;
wenzelm
parents: 51064
diff changeset
   298
    (
e4f668f258a1 postinstall: recover Cygwin permissions;
wenzelm
parents: 51064
diff changeset
   299
      cd "$ISABELLE_TARGET"
e4f668f258a1 postinstall: recover Cygwin permissions;
wenzelm
parents: 51064
diff changeset
   300
60994
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   301
      cp "$ISABELLE_HOME/Admin/Windows/Cygwin/Cygwin-Setup.bat" \
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   302
        "$ISABELLE_HOME/Admin/Windows/Cygwin/Cygwin-Terminal.bat" .
b1e324a0677c updated to recent launch4j 3.8;
wenzelm
parents: 60031
diff changeset
   303
52670
57a00f274130 build Windows application on the spot, using Unix tools;
wenzelm
parents: 52668
diff changeset
   304
      for NAME in postinstall rebaseall
52501
e4f668f258a1 postinstall: recover Cygwin permissions;
wenzelm
parents: 51064
diff changeset
   305
      do
e4f668f258a1 postinstall: recover Cygwin permissions;
wenzelm
parents: 51064
diff changeset
   306
        cp -a "$ISABELLE_HOME/Admin/Windows/Cygwin/isabelle/$NAME" \
e4f668f258a1 postinstall: recover Cygwin permissions;
wenzelm
parents: 51064
diff changeset
   307
          "contrib/cygwin/isabelle/."
e4f668f258a1 postinstall: recover Cygwin permissions;
wenzelm
parents: 51064
diff changeset
   308
      done
e4f668f258a1 postinstall: recover Cygwin permissions;
wenzelm
parents: 51064
diff changeset
   309
63058
8804faa80bc9 more portable: GNU find no longer supports "-perm +mode";
wenzelm
parents: 62164
diff changeset
   310
      if [ "$ISABELLE_PLATFORM_FAMILY" = macos ]; then
8804faa80bc9 more portable: GNU find no longer supports "-perm +mode";
wenzelm
parents: 62164
diff changeset
   311
        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
   312
          -print0 > "contrib/cygwin/isabelle/executables"
8804faa80bc9 more portable: GNU find no longer supports "-perm +mode";
wenzelm
parents: 62164
diff changeset
   313
      else
8804faa80bc9 more portable: GNU find no longer supports "-perm +mode";
wenzelm
parents: 62164
diff changeset
   314
        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
   315
          -print0 > "contrib/cygwin/isabelle/executables"
8804faa80bc9 more portable: GNU find no longer supports "-perm +mode";
wenzelm
parents: 62164
diff changeset
   316
      fi
52501
e4f668f258a1 postinstall: recover Cygwin permissions;
wenzelm
parents: 51064
diff changeset
   317
52668
a467a6b4376c produce 7z archive for windows and preserve symlinks separately;
wenzelm
parents: 52561
diff changeset
   318
      find . -type l -exec echo "{}" ";" -exec readlink "{}" ";" \
a467a6b4376c produce 7z archive for windows and preserve symlinks separately;
wenzelm
parents: 52561
diff changeset
   319
        > "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
   320
      find . -type l -exec rm "{}" ";"
53421
8e729ecd5b0c provide file indicator;
wenzelm
parents: 53418
diff changeset
   321
8e729ecd5b0c provide file indicator;
wenzelm
parents: 53418
diff changeset
   322
      touch "contrib/cygwin/isabelle/uninitialized"
52501
e4f668f258a1 postinstall: recover Cygwin permissions;
wenzelm
parents: 51064
diff changeset
   323
    )
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
   324
    ;;
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
   325
  *)
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
   326
    ;;
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
   327
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
   328
50798
0ddc85dae1d5 purge other platforms uniformly;
wenzelm
parents: 50794
diff changeset
   329
62032
620d3f63ead1 keep generic archive for all platforms -- required for Admin/Release/build_library;
wenzelm
parents: 61521
diff changeset
   330
# archive
620d3f63ead1 keep generic archive for all platforms -- required for Admin/Release/build_library;
wenzelm
parents: 61521
diff changeset
   331
620d3f63ead1 keep generic archive for all platforms -- required for Admin/Release/build_library;
wenzelm
parents: 61521
diff changeset
   332
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
   333
620d3f63ead1 keep generic archive for all platforms -- required for Admin/Release/build_library;
wenzelm
parents: 61521
diff changeset
   334
echo "packaging $(basename "$BUNDLE_ARCHIVE")"
620d3f63ead1 keep generic archive for all platforms -- required for Admin/Release/build_library;
wenzelm
parents: 61521
diff changeset
   335
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
   336
620d3f63ead1 keep generic archive for all platforms -- required for Admin/Release/build_library;
wenzelm
parents: 61521
diff changeset
   337
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
   338
# platform-specific setup (outside archive)
52670
57a00f274130 build Windows application on the spot, using Unix tools;
wenzelm
parents: 52668
diff changeset
   339
66724
1e1f9f603385 "windows" application is always x86_64;
wenzelm
parents: 64176
diff changeset
   340
case "$PLATFORM_FAMILY" in
64144
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   341
  linux)
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   342
    echo "application for $PLATFORM_FAMILY"
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   343
    ln -s "${ISABELLE_NAME}_linux.tar.gz" "${ARCHIVE_DIR}/${ISABELLE_NAME}_app.tar.gz"
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   344
    ;;
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   345
  macos)
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   346
    echo "application for $PLATFORM_FAMILY"
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   347
    (
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   348
      cd "$TMP"
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   349
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   350
      APP_TEMPLATE="$ISABELLE_HOME/Admin/MacOS"
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   351
      APP="dmg/${ISABELLE_NAME}.app"
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   352
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   353
      mkdir -p "dmg/.background"
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   354
      cp "$APP_TEMPLATE/dmg/background.png" "dmg/.background/"
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   355
      cp "$APP_TEMPLATE/dmg/DS_Store" "dmg/.DS_Store"
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   356
      ln -s /Applications "dmg/."
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   357
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   358
      for NAME in Java MacOS PlugIns Resources
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   359
      do
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   360
        mkdir -p "$APP/Contents/$NAME"
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   361
      done
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   362
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   363
      (
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   364
        init_component "$JEDIT_HOME"
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   365
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   366
        cat "$APP_TEMPLATE/Info.plist-part1"
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   367
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   368
        declare -a OPTIONS=()
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   369
        eval "OPTIONS=($ISABELLE_JAVA_SYSTEM_OPTIONS $JEDIT_JAVA_SYSTEM_OPTIONS $JEDIT_JAVA_OPTIONS64)"
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   370
        for OPT in "${OPTIONS[@]}"
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   371
        do
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   372
          echo "<string>$OPT</string>"
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   373
        done
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   374
        echo "<string>-Disabelle.jedit_server={ISABELLE_NAME}</string>"
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   375
        echo "<string>-Dapple.awt.application.name={ISABELLE_NAME}</string>"
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   376
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   377
        cat "$APP_TEMPLATE/Info.plist-part2"
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   378
      ) | perl -p -e "s,{ISABELLE_NAME},${ISABELLE_NAME},g;" > "$APP/Contents/Info.plist"
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   379
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   380
      for ENTRY in "${DISTRIBITION_CLASSPATH[@]}"
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   381
      do
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   382
        ln -sf "../Resources/${ISABELLE_NAME}/$ENTRY" "$APP/Contents/Java"
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   383
      done
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   384
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   385
      cp -R "$APP_TEMPLATE/Resources/." "$APP/Contents/Resources/."
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   386
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   387
      ln -sf "../Resources/${ISABELLE_NAME}/contrib/jdk/x86_64-darwin" \
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   388
        "$APP/Contents/PlugIns/bundled.jdk"
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   389
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   390
      cp macos_app/JavaAppLauncher "$APP/Contents/MacOS/." && \
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   391
        chmod +x "$APP/Contents/MacOS/JavaAppLauncher"
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   392
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   393
      mv "$ISABELLE_NAME" "$APP/Contents/Resources/."
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   394
      ln -sf "../../Info.plist" "$APP/Contents/Resources/$ISABELLE_NAME/${ISABELLE_NAME}.plist"
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   395
      ln -sf "Contents/Resources/$ISABELLE_NAME" "$APP/Isabelle"
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   396
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   397
      rm -f "${ARCHIVE_DIR}/${ISABELLE_NAME}.dmg"
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   398
      tar -C dmg -czf "${ARCHIVE_DIR}/${ISABELLE_NAME}_dmg.tar.gz" .
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   399
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   400
      if [ -n "$REMOTE_MAC" ]
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   401
      then
64176
wenzelm
parents: 64175
diff changeset
   402
        echo -n "$REMOTE_MAC: building dmg ..."
64144
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   403
        isabelle remote_dmg -V Isabelle "$REMOTE_MAC" \
64147
wenzelm
parents: 64144
diff changeset
   404
          "${ARCHIVE_DIR}/${ISABELLE_NAME}_dmg.tar.gz" "${ARCHIVE_DIR}/${ISABELLE_NAME}.dmg" &&
64176
wenzelm
parents: 64175
diff changeset
   405
          echo " done"
64144
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   406
      fi
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   407
    )
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   408
    ;;
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   409
  windows)
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   410
    (
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   411
      cd "$TMP"
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   412
      rm -f "${ARCHIVE_DIR}/${ISABELLE_NAME}.7z"
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   413
      7z -y -bd a "$TMP/${ISABELLE_NAME}.7z" "$ISABELLE_NAME" || exit 2
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   414
52670
57a00f274130 build Windows application on the spot, using Unix tools;
wenzelm
parents: 52668
diff changeset
   415
      echo "application for $PLATFORM_FAMILY"
57a00f274130 build Windows application on the spot, using Unix tools;
wenzelm
parents: 52668
diff changeset
   416
      (
64144
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   417
        cat "windows_app/7zsd_All.sfx"
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   418
        cat "$ISABELLE_HOME/Admin/Windows/Installer/sfx.txt" | \
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   419
          perl -p -e "s,{ISABELLE_NAME},${ISABELLE_NAME},g;"
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   420
        cat "$TMP/${ISABELLE_NAME}.7z"
66724
1e1f9f603385 "windows" application is always x86_64;
wenzelm
parents: 64176
diff changeset
   421
      ) > "${ARCHIVE_DIR}/${ISABELLE_NAME}.exe"
1e1f9f603385 "windows" application is always x86_64;
wenzelm
parents: 64176
diff changeset
   422
      chmod +x "${ARCHIVE_DIR}/${ISABELLE_NAME}.exe"
64144
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   423
    )
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   424
    ;;
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   425
  *)
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   426
    ;;
ef20d2da71af makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents: 63897
diff changeset
   427
esac
33907
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
   428
52677
2b446d507296 fully-automated packaging (requires Mac OS X);
wenzelm
parents: 52674
diff changeset
   429
33907
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
   430
# clean up
473f859e1c29 re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff changeset
   431
rm -rf "$TMP"