equal
deleted
inserted
replaced
2 # |
2 # |
3 # Make Isabelle application bundle |
3 # Make Isabelle application bundle |
4 |
4 |
5 THIS="$(cd "$(dirname "$0")"; pwd)" |
5 THIS="$(cd "$(dirname "$0")"; pwd)" |
6 |
6 |
7 PLATYPUS_APP="/Applications/Platypus-4.0/Platypus.app" |
|
8 COCOADIALOG_APP="/Applications/CocoaDialog.app" |
7 COCOADIALOG_APP="/Applications/CocoaDialog.app" |
9 |
8 |
10 "$PLATYPUS_APP/Contents/Resources/platypus" \ |
9 /usr/local/bin/platypus \ |
11 -a Isabelle -u Isabelle \ |
10 -a Isabelle -u Isabelle \ |
12 -I "de.tum.in.isabelle" \ |
11 -I "de.tum.in.isabelle" \ |
13 -i "$THIS/../isabelle.icns" \ |
12 -i "$THIS/../isabelle.icns" \ |
14 -p /bin/bash \ |
13 -p /bin/bash \ |
15 -c "$THIS/script" \ |
14 -R \ |
16 -o None \ |
15 -o None \ |
17 -f "$COCOADIALOG_APP" \ |
16 -f "$COCOADIALOG_APP" \ |
|
17 "$THIS/script" \ |
18 "$PWD/Isabelle.app" |
18 "$PWD/Isabelle.app" |