| author | wenzelm |
| Wed, 09 Jan 2013 18:32:26 +0100 | |
| changeset 51806 | ef950fad7807 |
| parent 49645 | 2f230b617541 |
| child 54635 | 05313b45a5ae |
| permissions | -rwxr-xr-x |
| wenzelm@29136 | 1 |
#!/bin/bash |
| wenzelm@29136 | 2 |
# |
| wenzelm@29136 | 3 |
# Make Isabelle application bundle |
| wenzelm@29136 | 4 |
|
| wenzelm@29136 | 5 |
THIS="$(cd "$(dirname "$0")"; pwd)" |
| wenzelm@29136 | 6 |
|
| wenzelm@29136 | 7 |
COCOADIALOG_APP="/Applications/CocoaDialog.app" |
| wenzelm@29136 | 8 |
|
| wenzelm@49466 | 9 |
/usr/local/bin/platypus \ |
| wenzelm@29136 | 10 |
-a Isabelle -u Isabelle \ |
| wenzelm@29136 | 11 |
-I "de.tum.in.isabelle" \ |
| wenzelm@31924 | 12 |
-i "$THIS/../isabelle.icns" \ |
| wenzelm@49467 | 13 |
-D -X thy \ |
| wenzelm@49467 | 14 |
-Q "$THIS/../theory.icns" \ |
| wenzelm@29136 | 15 |
-p /bin/bash \ |
| wenzelm@49466 | 16 |
-R \ |
| wenzelm@29136 | 17 |
-o None \ |
| wenzelm@29136 | 18 |
-f "$COCOADIALOG_APP" \ |
| wenzelm@49466 | 19 |
"$THIS/script" \ |
| wenzelm@29154 | 20 |
"$PWD/Isabelle.app" |
| wenzelm@51806 | 21 |
|
| wenzelm@51806 | 22 |
rm -f Contents/Resources/Isabelle |
| wenzelm@51806 | 23 |
ln -s Contents/Resources/Isabelle Isabelle.app/Isabelle |