author | wenzelm |
Mon, 22 Dec 2008 19:57:49 +0100 | |
changeset 29151 | fa5224eb28a5 |
parent 29136 | de5b29c25af9 |
child 29154 | 32b13b953e3a |
permissions | -rwxr-xr-x |
#!/bin/bash # # Make Isabelle application bundle THIS="$(cd "$(dirname "$0")"; pwd)" PLATYPUS_APP="/Applications/Platypus-4.0/Platypus.app" COCOADIALOG_APP="/Applications/CocoaDialog.app" "$PLATYPUS_APP/Contents/Resources/platypus" \ -a Isabelle -u Isabelle \ -I "de.tum.in.isabelle" \ -i "$THIS/isabelle.icns" \ -D -X thy \ -p /bin/bash \ -c "$THIS/script" \ -o None \ -f "$COCOADIALOG_APP" \ Isabelle.app