author | wenzelm |
Tue, 11 Oct 2016 17:00:20 +0200 | |
changeset 64147 | 92066f8c6a54 |
parent 64144 | ef20d2da71af |
child 64175 | 8945293a9ed0 |
permissions | -rwxr-xr-x |
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 | 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 | 14 |
echo " Re-package Isabelle source distribution with add-on components and" |
15 |
echo " post-hoc patches for platform family linux, windows, windows64, macos." |
|
50790 | 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 | 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 | 31 |
## arguments |
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 | 34 |
|
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 | 38 |
|
61000 | 39 |
if [ "$PLATFORM_FAMILY" = windows64 ]; then |
40 |
PLATFORM_FAM="windows" |
|
41 |
else |
|
42 |
PLATFORM_FAM="$PLATFORM_FAMILY" |
|
43 |
fi |
|
44 |
||
50790 | 45 |
[ -f "$ARCHIVE" ] || fail "Bad source archive: $ARCHIVE" |
46 |
||
47 |
ARCHIVE_DIR="$(cd $(dirname "$ARCHIVE"); echo "$PWD")" |
|
48 |
ISABELLE_NAME="$(basename "$ARCHIVE" .tar.gz)" |
|
49 |
||
50 |
||
51 |
## main |
|
52 |
||
63897
85c83757788c
consolidate implicit use of gnutar, via somewhat fragile dynamic scoping within existing shell scripts;
wenzelm
parents:
63490
diff
changeset
|
53 |
#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
|
54 |
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
|
55 |
|
50794 | 56 |
TMP="/var/tmp/isabelle-makedist$$" |
37315 | 57 |
mkdir "$TMP" || fail "Cannot create directory $TMP" |
58 |
||
50790 | 59 |
ISABELLE_TARGET="$TMP/$ISABELLE_NAME" |
33907
473f859e1c29
re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff
changeset
|
60 |
|
53418 | 61 |
tar -C "$TMP" -x -z -f "$ARCHIVE" || exit 2 |
33907
473f859e1c29
re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff
changeset
|
62 |
|
37315 | 63 |
|
53581
c0ad478abf50
generate distribution classpath for cold-start application wrappers;
wenzelm
parents:
53489
diff
changeset
|
64 |
# distribution classpath (based on educated guesses) |
c0ad478abf50
generate distribution classpath for cold-start application wrappers;
wenzelm
parents:
53489
diff
changeset
|
65 |
|
c0ad478abf50
generate distribution classpath for cold-start application wrappers;
wenzelm
parents:
53489
diff
changeset
|
66 |
splitarray ":" "$ISABELLE_CLASSPATH"; CLASSPATH_ENTRIES=("${SPLITARRAY[@]}") |
c0ad478abf50
generate distribution classpath for cold-start application wrappers;
wenzelm
parents:
53489
diff
changeset
|
67 |
declare -a DISTRIBITION_CLASSPATH=() |
c0ad478abf50
generate distribution classpath for cold-start application wrappers;
wenzelm
parents:
53489
diff
changeset
|
68 |
|
c0ad478abf50
generate distribution classpath for cold-start application wrappers;
wenzelm
parents:
53489
diff
changeset
|
69 |
for ENTRY in "${CLASSPATH_ENTRIES[@]}" |
c0ad478abf50
generate distribution classpath for cold-start application wrappers;
wenzelm
parents:
53489
diff
changeset
|
70 |
do |
c0ad478abf50
generate distribution classpath for cold-start application wrappers;
wenzelm
parents:
53489
diff
changeset
|
71 |
ENTRY=$(echo "$ENTRY" | perl -n -e " |
c0ad478abf50
generate distribution classpath for cold-start application wrappers;
wenzelm
parents:
53489
diff
changeset
|
72 |
if (m,$ISABELLE_HOME/(.*)\$,) { print qq{\$1}; } |
c0ad478abf50
generate distribution classpath for cold-start application wrappers;
wenzelm
parents:
53489
diff
changeset
|
73 |
elsif (m,$USER_HOME/.isabelle/contrib/(.*)\$,) { print qq{contrib/\$1}; } |
c0ad478abf50
generate distribution classpath for cold-start application wrappers;
wenzelm
parents:
53489
diff
changeset
|
74 |
else { print; }; |
c0ad478abf50
generate distribution classpath for cold-start application wrappers;
wenzelm
parents:
53489
diff
changeset
|
75 |
print qq{\n};") |
c0ad478abf50
generate distribution classpath for cold-start application wrappers;
wenzelm
parents:
53489
diff
changeset
|
76 |
DISTRIBITION_CLASSPATH["${#DISTRIBITION_CLASSPATH[@]}"]="$ENTRY" |
c0ad478abf50
generate distribution classpath for cold-start application wrappers;
wenzelm
parents:
53489
diff
changeset
|
77 |
done |
c0ad478abf50
generate distribution classpath for cold-start application wrappers;
wenzelm
parents:
53489
diff
changeset
|
78 |
|
c0ad478abf50
generate distribution classpath for cold-start application wrappers;
wenzelm
parents:
53489
diff
changeset
|
79 |
DISTRIBITION_CLASSPATH["${#DISTRIBITION_CLASSPATH[@]}"]="src/Tools/jEdit/dist/jedit.jar" |
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 |
echo "classpath" |
c0ad478abf50
generate distribution classpath for cold-start application wrappers;
wenzelm
parents:
53489
diff
changeset
|
82 |
for ENTRY in "${DISTRIBITION_CLASSPATH[@]}" |
c0ad478abf50
generate distribution classpath for cold-start application wrappers;
wenzelm
parents:
53489
diff
changeset
|
83 |
do |
c0ad478abf50
generate distribution classpath for cold-start application wrappers;
wenzelm
parents:
53489
diff
changeset
|
84 |
echo " $ENTRY" |
c0ad478abf50
generate distribution classpath for cold-start application wrappers;
wenzelm
parents:
53489
diff
changeset
|
85 |
done |
c0ad478abf50
generate distribution classpath for cold-start application wrappers;
wenzelm
parents:
53489
diff
changeset
|
86 |
|
c0ad478abf50
generate distribution classpath for cold-start application wrappers;
wenzelm
parents:
53489
diff
changeset
|
87 |
|
50790 | 88 |
# bundled components |
33907
473f859e1c29
re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff
changeset
|
89 |
|
62041 | 90 |
if [ ! -e "$ARCHIVE_DIR/contrib" ]; then |
91 |
if [ ! -e "$ARCHIVE_DIR/../contrib" ]; then |
|
92 |
mkdir -p "$ARCHIVE_DIR/contrib" |
|
93 |
else |
|
94 |
ln -s "../contrib" "$ARCHIVE_DIR/contrib" |
|
95 |
fi |
|
62037 | 96 |
fi |
50790 | 97 |
|
98 |
echo "#bundled components" >> "$ISABELLE_TARGET/etc/components" |
|
33907
473f859e1c29
re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff
changeset
|
99 |
|
61000 | 100 |
for CATALOG in main "$PLATFORM_FAM" bundled "bundled-$PLATFORM_FAM" |
50790 | 101 |
do |
102 |
CATALOG_FILE="$ISABELLE_HOME/Admin/components/$CATALOG" |
|
103 |
if [ -f "$CATALOG_FILE" ] |
|
104 |
then |
|
105 |
echo "catalog ${CATALOG}" |
|
106 |
{ |
|
107 |
while { unset REPLY; read -r; test "$?" = 0 -o -n "$REPLY"; } |
|
108 |
do |
|
109 |
case "$REPLY" in |
|
110 |
\#* | "") ;; |
|
111 |
*) |
|
112 |
COMPONENT="$REPLY" |
|
50891
d1a0335b4231
do not register quasi-components, notably cygwin;
wenzelm
parents:
50863
diff
changeset
|
113 |
COMPONENT_DIR="$ISABELLE_TARGET/contrib/$COMPONENT" |
50790 | 114 |
case "$COMPONENT" in |
57443
577f029fde39
ProofGeneral-4.2-2 is optional component (including the traditional helper scripts);
wenzelm
parents:
57084
diff
changeset
|
115 |
jedit_build*) ;; |
50790 | 116 |
*) |
117 |
echo " component $COMPONENT" |
|
118 |
CONTRIB="$ARCHIVE_DIR/contrib/${COMPONENT}.tar.gz" |
|
119 |
if [ ! -f "$CONTRIB" ]; then |
|
63490
9416333a17c2
prefer curl: presumably more portable and versatile;
wenzelm
parents:
63058
diff
changeset
|
120 |
type -p curl > /dev/null || fail "Cannot download files: missing curl" |
50790 | 121 |
REMOTE="$ISABELLE_COMPONENT_REPOSITORY/${COMPONENT}.tar.gz" |
63490
9416333a17c2
prefer curl: presumably more portable and versatile;
wenzelm
parents:
63058
diff
changeset
|
122 |
echo " downloading $REMOTE" |
9416333a17c2
prefer curl: presumably more portable and versatile;
wenzelm
parents:
63058
diff
changeset
|
123 |
curl --fail --silent "$REMOTE" > "$CONTRIB" || \ |
9416333a17c2
prefer curl: presumably more portable and versatile;
wenzelm
parents:
63058
diff
changeset
|
124 |
fail "Failed to download \"$REMOTE\"" |
50790 | 125 |
perl -e "exit((stat('${CONTRIB}'))[7] == 0 ? 0 : 1);" && exit 2 |
126 |
fi |
|
127 |
||
53418 | 128 |
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
|
129 |
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
|
130 |
then |
53418 | 131 |
case "$COMPONENT" in |
132 |
jdk-*) |
|
133 |
mv "$ISABELLE_TARGET/contrib/$COMPONENT" "$ISABELLE_TARGET/contrib/jdk" |
|
134 |
echo "contrib/jdk" >> "$ISABELLE_TARGET/etc/components" |
|
135 |
;; |
|
136 |
*) |
|
137 |
echo "contrib/$COMPONENT" >> "$ISABELLE_TARGET/etc/components" |
|
138 |
;; |
|
139 |
esac |
|
50891
d1a0335b4231
do not register quasi-components, notably cygwin;
wenzelm
parents:
50863
diff
changeset
|
140 |
fi |
50790 | 141 |
;; |
142 |
esac |
|
143 |
;; |
|
144 |
esac |
|
145 |
done |
|
146 |
} < "$CATALOG_FILE" |
|
33907
473f859e1c29
re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff
changeset
|
147 |
fi |
473f859e1c29
re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff
changeset
|
148 |
done |
473f859e1c29
re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff
changeset
|
149 |
|
47742
316c67657fd3
move polyml within Cygwin /usr/local to simplify its rebasing;
wenzelm
parents:
47723
diff
changeset
|
150 |
|
52501 | 151 |
# purge other platforms |
152 |
||
61000 | 153 |
function purge_target |
52501 | 154 |
{ |
155 |
( |
|
156 |
cd "$ISABELLE_TARGET" |
|
61000 | 157 |
for DIR in $(eval find "$@" | sort) |
52501 | 158 |
do |
159 |
echo "removing $DIR" |
|
160 |
rm -rf "$DIR" |
|
161 |
done |
|
162 |
) |
|
163 |
} |
|
164 |
||
165 |
||
58792
d6d9bb806bb5
JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents:
58760
diff
changeset
|
166 |
# 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
|
167 |
|
d6d9bb806bb5
JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents:
58760
diff
changeset
|
168 |
function purge_jdk |
d6d9bb806bb5
JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents:
58760
diff
changeset
|
169 |
{ |
d6d9bb806bb5
JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents:
58760
diff
changeset
|
170 |
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
|
171 |
( |
d6d9bb806bb5
JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents:
58760
diff
changeset
|
172 |
cd "$ISABELLE_TARGET" |
d6d9bb806bb5
JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents:
58760
diff
changeset
|
173 |
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
|
174 |
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
|
175 |
do |
d6d9bb806bb5
JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents:
58760
diff
changeset
|
176 |
case "$X" in |
d6d9bb806bb5
JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents:
58760
diff
changeset
|
177 |
*/jre) ;; |
d6d9bb806bb5
JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents:
58760
diff
changeset
|
178 |
*) |
d6d9bb806bb5
JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents:
58760
diff
changeset
|
179 |
echo "removing $X" |
d6d9bb806bb5
JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents:
58760
diff
changeset
|
180 |
rm -rf "$X" |
d6d9bb806bb5
JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents:
58760
diff
changeset
|
181 |
;; |
d6d9bb806bb5
JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents:
58760
diff
changeset
|
182 |
esac |
d6d9bb806bb5
JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents:
58760
diff
changeset
|
183 |
done |
d6d9bb806bb5
JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents:
58760
diff
changeset
|
184 |
else |
d6d9bb806bb5
JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents:
58760
diff
changeset
|
185 |
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
|
186 |
fi |
d6d9bb806bb5
JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents:
58760
diff
changeset
|
187 |
) |
d6d9bb806bb5
JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents:
58760
diff
changeset
|
188 |
} |
d6d9bb806bb5
JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents:
58760
diff
changeset
|
189 |
|
d6d9bb806bb5
JRE is sufficient for official release -- javac and jar are only needed for self-build;
wenzelm
parents:
58760
diff
changeset
|
190 |
|
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
|
191 |
# platform-specific setup (inside archive) |
47833
12cb7b5d4b77
more windows-friendly presentation of main text files;
wenzelm
parents:
47760
diff
changeset
|
192 |
|
54661
6ad5242deaa7
specific application name for official bundle (as for Mac OS X);
wenzelm
parents:
54315
diff
changeset
|
193 |
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
|
194 |
"$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
|
195 |
|
61000 | 196 |
case "$PLATFORM_FAM" in |
50790 | 197 |
linux) |
61000 | 198 |
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
|
199 |
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
|
200 |
purge_jdk "x86_64-linux" |
53581
c0ad478abf50
generate distribution classpath for cold-start application wrappers;
wenzelm
parents:
53489
diff
changeset
|
201 |
|
61134
80ac5e17772d
clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents:
61132
diff
changeset
|
202 |
for PLATFORM in 32 64 |
80ac5e17772d
clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents:
61132
diff
changeset
|
203 |
do |
80ac5e17772d
clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents:
61132
diff
changeset
|
204 |
( |
64144
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
205 |
init_component "$JEDIT_HOME" |
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
206 |
|
61134
80ac5e17772d
clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents:
61132
diff
changeset
|
207 |
echo "# Java runtime options for ${PLATFORM}bit platform" |
80ac5e17772d
clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents:
61132
diff
changeset
|
208 |
declare -a JAVA_ARGS |
80ac5e17772d
clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents:
61132
diff
changeset
|
209 |
if [ "$PLATFORM" = 32 ]; then |
80ac5e17772d
clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents:
61132
diff
changeset
|
210 |
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
|
211 |
else |
80ac5e17772d
clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents:
61132
diff
changeset
|
212 |
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
|
213 |
fi |
80ac5e17772d
clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents:
61132
diff
changeset
|
214 |
for ARG in "${JAVA_ARGS[@]}" |
80ac5e17772d
clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents:
61132
diff
changeset
|
215 |
do |
80ac5e17772d
clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents:
61132
diff
changeset
|
216 |
echo "$ARG" |
80ac5e17772d
clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents:
61132
diff
changeset
|
217 |
done |
62036 | 218 |
echo "-Disabelle.jedit_server=${ISABELLE_NAME}" |
61134
80ac5e17772d
clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents:
61132
diff
changeset
|
219 |
) > "$ISABELLE_TARGET/${ISABELLE_NAME}.options${PLATFORM}" |
80ac5e17772d
clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents:
61132
diff
changeset
|
220 |
done |
80ac5e17772d
clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents:
61132
diff
changeset
|
221 |
|
53581
c0ad478abf50
generate distribution classpath for cold-start application wrappers;
wenzelm
parents:
53489
diff
changeset
|
222 |
LINUX_CLASSPATH="" |
c0ad478abf50
generate distribution classpath for cold-start application wrappers;
wenzelm
parents:
53489
diff
changeset
|
223 |
for ENTRY in "${DISTRIBITION_CLASSPATH[@]}" |
c0ad478abf50
generate distribution classpath for cold-start application wrappers;
wenzelm
parents:
53489
diff
changeset
|
224 |
do |
c0ad478abf50
generate distribution classpath for cold-start application wrappers;
wenzelm
parents:
53489
diff
changeset
|
225 |
if [ -z "$LINUX_CLASSPATH" ]; then |
c0ad478abf50
generate distribution classpath for cold-start application wrappers;
wenzelm
parents:
53489
diff
changeset
|
226 |
LINUX_CLASSPATH="\\\$ISABELLE_HOME/$ENTRY" |
c0ad478abf50
generate distribution classpath for cold-start application wrappers;
wenzelm
parents:
53489
diff
changeset
|
227 |
else |
c0ad478abf50
generate distribution classpath for cold-start application wrappers;
wenzelm
parents:
53489
diff
changeset
|
228 |
LINUX_CLASSPATH="$LINUX_CLASSPATH:\\\$ISABELLE_HOME/$ENTRY" |
c0ad478abf50
generate distribution classpath for cold-start application wrappers;
wenzelm
parents:
53489
diff
changeset
|
229 |
fi |
c0ad478abf50
generate distribution classpath for cold-start application wrappers;
wenzelm
parents:
53489
diff
changeset
|
230 |
done |
61134
80ac5e17772d
clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents:
61132
diff
changeset
|
231 |
|
54315 | 232 |
cat "$ISABELLE_HOME/Admin/Linux/Isabelle.run" | \ |
61134
80ac5e17772d
clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents:
61132
diff
changeset
|
233 |
perl -p > "$ISABELLE_TARGET/${ISABELLE_NAME}.run" -e "s,{CLASSPATH},$LINUX_CLASSPATH,;" |
54315 | 234 |
chmod +x "$ISABELLE_TARGET/${ISABELLE_NAME}.run" |
235 |
||
236 |
mv "$ISABELLE_TARGET/contrib/linux_app" "$TMP/." |
|
237 |
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
|
238 |
;; |
50790 | 239 |
macos) |
61000 | 240 |
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
|
241 |
purge_jdk "x86_64-darwin/Contents/Home" |
52677 | 242 |
mv "$ISABELLE_TARGET/contrib/macos_app" "$TMP/." |
50798 | 243 |
|
53883
f1c5f857df3d
include MacOSX plugin by default -- disabled by default to avoid multiplatform confusion;
wenzelm
parents:
53581
diff
changeset
|
244 |
perl -pi \ |
f1c5f857df3d
include MacOSX plugin by default -- disabled by default to avoid multiplatform confusion;
wenzelm
parents:
53581
diff
changeset
|
245 |
-e "s,lookAndFeel=.*,lookAndFeel=com.apple.laf.AquaLookAndFeel,g;" \ |
44964 | 246 |
-e "s,delete-line.shortcut=.*,delete-line.shortcut=C+d,g;" \ |
247 |
-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
|
248 |
-e "s,plugin-blacklist.MacOSX.jar=true,plugin-blacklist.MacOSX.jar=,g;" \ |
53463 | 249 |
"$ISABELLE_TARGET/src/Tools/jEdit/dist/properties/jEdit.props" |
44807 | 250 |
;; |
50790 | 251 |
windows) |
61000 | 252 |
if [ "$PLATFORM_FAMILY" = windows ]; then |
253 |
purge_target 'contrib -name x86_64-windows -o -name "x86*-linux" -o -name "x86*-darwin"' |
|
254 |
PLATFORM="x86-windows" |
|
255 |
PLATFORM_IS_64="false" |
|
256 |
PLATFORM_BITS="32" |
|
257 |
else |
|
258 |
purge_target 'contrib -name "x86*-linux" -o -name "x86*-darwin"' |
|
259 |
purge_target 'contrib/jdk -name "x86-windows"' |
|
260 |
PLATFORM="x86_64-windows" |
|
261 |
PLATFORM_IS_64="true" |
|
262 |
PLATFORM_BITS="64" |
|
263 |
fi |
|
264 |
purge_jdk "$PLATFORM" |
|
265 |
||
52677 | 266 |
mv "$ISABELLE_TARGET/contrib/windows_app" "$TMP/." |
50790 | 267 |
|
58760 | 268 |
perl -pi \ |
269 |
-e "s,lookAndFeel=.*,lookAndFeel=com.sun.java.swing.plaf.windows.WindowsLookAndFeel,g;" \ |
|
270 |
-e "s,foldPainter=.*,foldPainter=Square,g;" \ |
|
53463 | 271 |
"$ISABELLE_TARGET/src/Tools/jEdit/dist/properties/jEdit.props" |
50790 | 272 |
|
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
|
273 |
( |
64144
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
274 |
init_component "$JEDIT_HOME" |
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
275 |
|
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 |
declare -a JAVA_ARGS=() |
61134
80ac5e17772d
clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents:
61132
diff
changeset
|
277 |
if [ "$PLATFORM_FAMILY" = windows ]; then |
80ac5e17772d
clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents:
61132
diff
changeset
|
278 |
echo -e "# Java runtime options for 32bit platform\r" |
80ac5e17772d
clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents:
61132
diff
changeset
|
279 |
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
|
280 |
else |
80ac5e17772d
clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents:
61132
diff
changeset
|
281 |
echo -e "# Java runtime options for 64bit platform\r" |
80ac5e17772d
clarified Java runtime options for 32 vs. 64 bit;
wenzelm
parents:
61132
diff
changeset
|
282 |
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
|
283 |
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
|
284 |
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
|
285 |
do |
60994 | 286 |
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
|
287 |
done |
62036 | 288 |
echo -e "-Disabelle.jedit_server=${ISABELLE_NAME}\r" |
60994 | 289 |
) > "$ISABELLE_TARGET/${ISABELLE_NAME}.l4j.ini" |
290 |
||
291 |
( |
|
292 |
cd "$TMP" |
|
293 |
||
294 |
APP_TEMPLATE="$ISABELLE_HOME/Admin/Windows/launch4j" |
|
53581
c0ad478abf50
generate distribution classpath for cold-start application wrappers;
wenzelm
parents:
53489
diff
changeset
|
295 |
|
60994 | 296 |
( |
297 |
for ENTRY in "${DISTRIBITION_CLASSPATH[@]}" |
|
298 |
do |
|
299 |
ENTRY=$(echo "$ENTRY" | perl -p -e 's,/,\\\\,g;') |
|
60996 | 300 |
echo " <cp>%EXEDIR%\\\\$ENTRY</cp>" |
60994 | 301 |
done |
302 |
) > exe_classpath |
|
303 |
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
|
304 |
|
60994 | 305 |
perl -p \ |
306 |
-e "s,{OUTFILE},$ISABELLE_TARGET/${ISABELLE_NAME}.exe,g;" \ |
|
307 |
-e "s,{ICON},$APP_TEMPLATE/isabelle_transparent.ico,g;" \ |
|
308 |
-e "s,{SPLASH},$APP_TEMPLATE/isabelle.bmp,g;" \ |
|
309 |
-e "s,{CLASSPATH},$EXE_CLASSPATH,g;" \ |
|
61160 | 310 |
-e "s,{ISABELLE_NAME},$ISABELLE_NAME,g;" \ |
61000 | 311 |
-e "s,{PLATFORM},$PLATFORM,g;" \ |
312 |
-e "s,{PLATFORM_IS_64},$PLATFORM_IS_64,g;" \ |
|
313 |
-e "s,{PLATFORM_BITS},$PLATFORM_BITS,g;" \ |
|
60994 | 314 |
"$APP_TEMPLATE/isabelle.xml" > isabelle.xml |
315 |
||
316 |
"windows_app/launch4j-${ISABELLE_PLATFORM_FAMILY}/launch4j" isabelle.xml |
|
317 |
||
318 |
cp "$APP_TEMPLATE/manifest.xml" "$ISABELLE_TARGET/${ISABELLE_NAME}.exe.manifest" |
|
319 |
) |
|
50790 | 320 |
|
52501 | 321 |
( |
322 |
cd "$ISABELLE_TARGET" |
|
323 |
||
60994 | 324 |
cp "$ISABELLE_HOME/Admin/Windows/Cygwin/Cygwin-Setup.bat" \ |
325 |
"$ISABELLE_HOME/Admin/Windows/Cygwin/Cygwin-Terminal.bat" . |
|
326 |
||
52670
57a00f274130
build Windows application on the spot, using Unix tools;
wenzelm
parents:
52668
diff
changeset
|
327 |
for NAME in postinstall rebaseall |
52501 | 328 |
do |
329 |
cp -a "$ISABELLE_HOME/Admin/Windows/Cygwin/isabelle/$NAME" \ |
|
330 |
"contrib/cygwin/isabelle/." |
|
331 |
done |
|
332 |
||
63058
8804faa80bc9
more portable: GNU find no longer supports "-perm +mode";
wenzelm
parents:
62164
diff
changeset
|
333 |
if [ "$ISABELLE_PLATFORM_FAMILY" = macos ]; then |
8804faa80bc9
more portable: GNU find no longer supports "-perm +mode";
wenzelm
parents:
62164
diff
changeset
|
334 |
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
|
335 |
-print0 > "contrib/cygwin/isabelle/executables" |
8804faa80bc9
more portable: GNU find no longer supports "-perm +mode";
wenzelm
parents:
62164
diff
changeset
|
336 |
else |
8804faa80bc9
more portable: GNU find no longer supports "-perm +mode";
wenzelm
parents:
62164
diff
changeset
|
337 |
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
|
338 |
-print0 > "contrib/cygwin/isabelle/executables" |
8804faa80bc9
more portable: GNU find no longer supports "-perm +mode";
wenzelm
parents:
62164
diff
changeset
|
339 |
fi |
52501 | 340 |
|
52668
a467a6b4376c
produce 7z archive for windows and preserve symlinks separately;
wenzelm
parents:
52561
diff
changeset
|
341 |
find . -type l -exec echo "{}" ";" -exec readlink "{}" ";" \ |
a467a6b4376c
produce 7z archive for windows and preserve symlinks separately;
wenzelm
parents:
52561
diff
changeset
|
342 |
> "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
|
343 |
find . -type l -exec rm "{}" ";" |
53421 | 344 |
|
345 |
touch "contrib/cygwin/isabelle/uninitialized" |
|
52501 | 346 |
) |
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
|
347 |
;; |
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
|
348 |
*) |
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
|
349 |
;; |
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
|
350 |
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
|
351 |
|
50798 | 352 |
|
62032
620d3f63ead1
keep generic archive for all platforms -- required for Admin/Release/build_library;
wenzelm
parents:
61521
diff
changeset
|
353 |
# archive |
620d3f63ead1
keep generic archive for all platforms -- required for Admin/Release/build_library;
wenzelm
parents:
61521
diff
changeset
|
354 |
|
620d3f63ead1
keep generic archive for all platforms -- required for Admin/Release/build_library;
wenzelm
parents:
61521
diff
changeset
|
355 |
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
|
356 |
|
620d3f63ead1
keep generic archive for all platforms -- required for Admin/Release/build_library;
wenzelm
parents:
61521
diff
changeset
|
357 |
echo "packaging $(basename "$BUNDLE_ARCHIVE")" |
620d3f63ead1
keep generic archive for all platforms -- required for Admin/Release/build_library;
wenzelm
parents:
61521
diff
changeset
|
358 |
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
|
359 |
|
620d3f63ead1
keep generic archive for all platforms -- required for Admin/Release/build_library;
wenzelm
parents:
61521
diff
changeset
|
360 |
|
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
|
361 |
# platform-specific setup (outside archive) |
52670
57a00f274130
build Windows application on the spot, using Unix tools;
wenzelm
parents:
52668
diff
changeset
|
362 |
|
64144
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
363 |
case "$PLATFORM_FAM" in |
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
364 |
linux) |
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
365 |
echo "application for $PLATFORM_FAMILY" |
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
366 |
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
|
367 |
;; |
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
368 |
macos) |
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
369 |
echo "application for $PLATFORM_FAMILY" |
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
370 |
( |
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
371 |
cd "$TMP" |
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
372 |
|
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
373 |
APP_TEMPLATE="$ISABELLE_HOME/Admin/MacOS" |
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
374 |
APP="dmg/${ISABELLE_NAME}.app" |
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
375 |
|
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
376 |
mkdir -p "dmg/.background" |
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
377 |
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
|
378 |
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
|
379 |
ln -s /Applications "dmg/." |
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
380 |
|
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
381 |
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
|
382 |
do |
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
383 |
mkdir -p "$APP/Contents/$NAME" |
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
384 |
done |
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
385 |
|
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 |
init_component "$JEDIT_HOME" |
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
388 |
|
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
389 |
cat "$APP_TEMPLATE/Info.plist-part1" |
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
390 |
|
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
391 |
declare -a OPTIONS=() |
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
392 |
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
|
393 |
for OPT in "${OPTIONS[@]}" |
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
394 |
do |
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
395 |
echo "<string>$OPT</string>" |
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
396 |
done |
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
397 |
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
|
398 |
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
|
399 |
|
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
400 |
cat "$APP_TEMPLATE/Info.plist-part2" |
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
401 |
) | 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
|
402 |
|
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
403 |
for ENTRY in "${DISTRIBITION_CLASSPATH[@]}" |
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
404 |
do |
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
405 |
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
|
406 |
done |
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 |
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
|
409 |
|
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
410 |
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
|
411 |
"$APP/Contents/PlugIns/bundled.jdk" |
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
412 |
|
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
413 |
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
|
414 |
chmod +x "$APP/Contents/MacOS/JavaAppLauncher" |
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
415 |
|
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
416 |
mv "$ISABELLE_NAME" "$APP/Contents/Resources/." |
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
417 |
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
|
418 |
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
|
419 |
|
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
420 |
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
|
421 |
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
|
422 |
|
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
423 |
if [ -n "$REMOTE_MAC" ] |
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
424 |
then |
64147 | 425 |
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
|
426 |
isabelle remote_dmg -V Isabelle "$REMOTE_MAC" \ |
64147 | 427 |
"${ARCHIVE_DIR}/${ISABELLE_NAME}_dmg.tar.gz" "${ARCHIVE_DIR}/${ISABELLE_NAME}.dmg" && |
428 |
echo "done" |
|
64144
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
429 |
fi |
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
430 |
) |
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
431 |
;; |
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
432 |
windows) |
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
433 |
( |
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
434 |
if [ "$PLATFORM_FAMILY" = windows ]; then |
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
435 |
PLATFORM_SUFFIX="-win32" |
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
436 |
else |
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
437 |
PLATFORM_SUFFIX="-win64" |
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
438 |
fi |
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
439 |
|
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
440 |
cd "$TMP" |
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
441 |
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
|
442 |
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
|
443 |
|
52670
57a00f274130
build Windows application on the spot, using Unix tools;
wenzelm
parents:
52668
diff
changeset
|
444 |
echo "application for $PLATFORM_FAMILY" |
57a00f274130
build Windows application on the spot, using Unix tools;
wenzelm
parents:
52668
diff
changeset
|
445 |
( |
64144
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
446 |
cat "windows_app/7zsd_All.sfx" |
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
447 |
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
|
448 |
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
|
449 |
cat "$TMP/${ISABELLE_NAME}.7z" |
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
450 |
) > "${ARCHIVE_DIR}/${ISABELLE_NAME}${PLATFORM_SUFFIX}.exe" |
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
451 |
chmod +x "${ARCHIVE_DIR}/${ISABELLE_NAME}${PLATFORM_SUFFIX}.exe" |
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
452 |
) |
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
453 |
;; |
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
454 |
*) |
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
455 |
;; |
ef20d2da71af
makedist_bundle works on Linux as well: build dmg on remote Mac;
wenzelm
parents:
63897
diff
changeset
|
456 |
esac |
33907
473f859e1c29
re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff
changeset
|
457 |
|
52677 | 458 |
|
33907
473f859e1c29
re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff
changeset
|
459 |
# clean up |
473f859e1c29
re-package Isabelle distribution with add-on components;
wenzelm
parents:
diff
changeset
|
460 |
rm -rf "$TMP" |