| changeset 29136 | de5b29c25af9 |
| child 29151 | fa5224eb28a5 |
| 29131:fd8bb7527f7b | 29136:de5b29c25af9 |
|---|---|
1 #!/bin/bash |
|
2 # |
|
3 # Make Isabelle application bundle |
|
4 |
|
5 THIS="$(cd "$(dirname "$0")"; pwd)" |
|
6 |
|
7 PLATYPUS_APP="/Applications/Platypus-4.0/Platypus.app" |
|
8 COCOADIALOG_APP="/Applications/CocoaDialog.app" |
|
9 |
|
10 "$PLATYPUS_APP/Contents/Resources/platypus" \ |
|
11 -a Isabelle -u Isabelle \ |
|
12 -I "de.tum.in.isabelle" \ |
|
13 -i "$THIS/isabelle.icns" \ |
|
14 -D -X .thy \ |
|
15 -p /bin/bash \ |
|
16 -c "$THIS/script" \ |
|
17 -o None \ |
|
18 -f "$COCOADIALOG_APP" \ |
|
19 "$THIS/Isabelle.app" |