| changeset 31924 | 47b59620f37f |
| parent 30901 | 9343d4b7c5bf |
| child 48451 | 6d9c43f51e60 |
| 31923:d6cd15601d8a | 31924:47b59620f37f |
|---|---|
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 -p /bin/bash \ |
|
15 -c "$THIS/script" \ |
|
16 -o None \ |
|
17 -f "$COCOADIALOG_APP" \ |
|
18 "$PWD/Isabelle.app" |