author | wenzelm |
Tue, 10 Sep 2013 11:57:53 +0200 | |
changeset 54635 | 05313b45a5ae |
parent 51806 | ef950fad7807 |
permissions | -rwxr-xr-x |
wenzelm@54635 | 1 |
#!/usr/bin/env 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 |