| author | wenzelm |
| Thu, 11 Jul 2013 12:28:24 +0200 | |
| changeset 52595 | 76883c1e1c53 |
| parent 51257 | 93ccf48a46b7 |
| permissions | -rwxr-xr-x |
|
51257
93ccf48a46b7
basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff
changeset
|
1 |
#!/bin/bash |
|
93ccf48a46b7
basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff
changeset
|
2 |
# |
|
93ccf48a46b7
basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff
changeset
|
3 |
# Make Isabelle/JVM application bundle |
|
93ccf48a46b7
basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff
changeset
|
4 |
|
|
93ccf48a46b7
basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff
changeset
|
5 |
THIS="$(cd "$(dirname "$0")"; pwd)" |
|
93ccf48a46b7
basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff
changeset
|
6 |
|
|
93ccf48a46b7
basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff
changeset
|
7 |
APP="$THIS/Isabelle.app" |
|
93ccf48a46b7
basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff
changeset
|
8 |
|
|
93ccf48a46b7
basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff
changeset
|
9 |
for NAME in Java MacOS PlugIns Resources |
|
93ccf48a46b7
basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff
changeset
|
10 |
do |
|
93ccf48a46b7
basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff
changeset
|
11 |
mkdir -p "$APP/Contents/$NAME" |
|
93ccf48a46b7
basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff
changeset
|
12 |
done |
|
93ccf48a46b7
basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff
changeset
|
13 |
|
|
93ccf48a46b7
basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff
changeset
|
14 |
cp "$THIS/Info.plist" "$APP/Contents/." |
|
93ccf48a46b7
basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff
changeset
|
15 |
|
|
93ccf48a46b7
basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff
changeset
|
16 |
for NAME in Pure.jar scala-library.jar scala-swing.jar |
|
93ccf48a46b7
basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff
changeset
|
17 |
do |
|
93ccf48a46b7
basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff
changeset
|
18 |
ln -sf "../Resources/Isabelle/lib/classes/ext/$NAME" "$APP/Contents/Java" |
|
93ccf48a46b7
basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff
changeset
|
19 |
done |
|
93ccf48a46b7
basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff
changeset
|
20 |
|
|
93ccf48a46b7
basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff
changeset
|
21 |
cp -R "$THIS/Resources/." "$APP/Contents/Resources/." |
|
93ccf48a46b7
basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff
changeset
|
22 |
cp "$THIS/../isabelle.icns" "$APP/Contents/Resources/." |
|
93ccf48a46b7
basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff
changeset
|
23 |
|
|
93ccf48a46b7
basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff
changeset
|
24 |
ln -sf "../Resources/Isabelle/contrib/jdk-7u13/x86_64-darwin/jdk1.7.0_13.jdk" "$APP/Contents/PlugIns/jdk" |
|
93ccf48a46b7
basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff
changeset
|
25 |
|
|
93ccf48a46b7
basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff
changeset
|
26 |
cp "$THIS/JavaAppLauncher" "$APP/Contents/MacOS/." && chmod +x "$APP/Contents/MacOS/JavaAppLauncher" |
|
93ccf48a46b7
basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff
changeset
|
27 |