| author | hoelzl |
| Thu, 22 Sep 2011 10:02:16 -0400 | |
| changeset 45041 | 0523a6be8ade |
| parent 31924 | 47b59620f37f |
| child 48451 | 6d9c43f51e60 |
| 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" \ -p /bin/bash \ -c "$THIS/script" \ -o None \ -f "$COCOADIALOG_APP" \ "$PWD/Isabelle.app"