author | bulwahn |
Thu, 07 Jul 2011 23:33:14 +0200 | |
changeset 43704 | 47b0be18ccbe |
parent 31925 | 569b7fae5206 |
child 53498 | 05313b45a5ae |
permissions | -rwxr-xr-x |
31925 | 1 |
#!/bin/bash |
2 |
# |
|
3 |
# Make Isabelle/JVM application bundle |
|
4 |
||
5 |
THIS="$(cd "$(dirname "$0")"; pwd)" |
|
6 |
||
7 |
APP="$THIS/Isabelle.app" |
|
8 |
||
9 |
mkdir -p "$APP/Contents/Resources/Java" |
|
10 |
cp "$THIS/../../../lib/classes/isabelle-scala.jar" "$APP/Contents/Resources/Java" |
|
11 |
cp "$THIS/../isabelle.icns" "$APP/Contents/Resources" |
|
12 |