| changeset 54391 | d5816d83e479 |
| parent 54390 | 0e1566512928 |
| child 54392 | f14791d4f08d |
| 54390:0e1566512928 | 54391:d5816d83e479 |
|---|---|
1 #!/usr/bin/env 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 |