equal
deleted
inserted
replaced
1 #!/usr/bin/env bash |
|
2 # |
|
3 # Make Isabelle application bundle |
|
4 |
|
5 THIS="$(cd "$(dirname "$0")"; pwd)" |
|
6 |
|
7 COCOADIALOG_APP="/Applications/CocoaDialog.app" |
|
8 |
|
9 /usr/local/bin/platypus \ |
|
10 -a Isabelle -u Isabelle \ |
|
11 -I "de.tum.in.isabelle" \ |
|
12 -i "$THIS/../isabelle.icns" \ |
|
13 -D -X thy \ |
|
14 -Q "$THIS/../theory.icns" \ |
|
15 -p /bin/bash \ |
|
16 -R \ |
|
17 -o None \ |
|
18 -f "$COCOADIALOG_APP" \ |
|
19 "$THIS/script" \ |
|
20 "$PWD/Isabelle.app" |
|
21 |
|
22 rm -f Contents/Resources/Isabelle |
|
23 ln -s Contents/Resources/Isabelle Isabelle.app/Isabelle |
|