| author | wenzelm |
| Wed, 09 Jan 2013 18:32:26 +0100 | |
| changeset 51806 | ef950fad7807 |
| parent 49645 | 2f230b617541 |
| child 54635 | 05313b45a5ae |
| permissions | -rwxr-xr-x |
1 #!/bin/bash
2 #
3 # Make Isabelle application bundle
5 THIS="$(cd "$(dirname "$0")"; pwd)"
7 COCOADIALOG_APP="/Applications/CocoaDialog.app"
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"
22 rm -f Contents/Resources/Isabelle
23 ln -s Contents/Resources/Isabelle Isabelle.app/Isabelle