author | wenzelm |
Wed, 01 Aug 2012 11:55:18 +0200 | |
changeset 48630 | 2f230b617541 |
parent 48452 | Admin/MacOS/App1/mk@4ad6182d5bb9 |
child 50791 | ef950fad7807 |
permissions | -rwxr-xr-x |
#!/bin/bash # # Make Isabelle application bundle THIS="$(cd "$(dirname "$0")"; pwd)" COCOADIALOG_APP="/Applications/CocoaDialog.app" /usr/local/bin/platypus \ -a Isabelle -u Isabelle \ -I "de.tum.in.isabelle" \ -i "$THIS/../isabelle.icns" \ -D -X thy \ -Q "$THIS/../theory.icns" \ -p /bin/bash \ -R \ -o None \ -f "$COCOADIALOG_APP" \ "$THIS/script" \ "$PWD/Isabelle.app"