# HG changeset patch # User wenzelm # Date 1343060105 -7200 # Node ID 6d9c43f51e60a4cc71f6906f189039268ebd21d5 # Parent 8eaaaf376dc9cfe0813bc38c566693c7ef88d224 updated to Platypus 4.7; diff -r 8eaaaf376dc9 -r 6d9c43f51e60 Admin/MacOS/App1/README --- a/Admin/MacOS/App1/README Mon Jul 23 16:44:29 2012 +0200 +++ b/Admin/MacOS/App1/README Mon Jul 23 18:15:05 2012 +0200 @@ -5,5 +5,6 @@ * CocoaDialog 2.1.1 http://cocoadialog.sourceforge.net/ -* Platypus 4.0 http://www.sveinbjorn.org/platypus +* Platypus 4.7 http://www.sveinbjorn.org/platypus + Preferences: Install command line tool diff -r 8eaaaf376dc9 -r 6d9c43f51e60 Admin/MacOS/App1/mk --- a/Admin/MacOS/App1/mk Mon Jul 23 16:44:29 2012 +0200 +++ b/Admin/MacOS/App1/mk Mon Jul 23 18:15:05 2012 +0200 @@ -4,15 +4,15 @@ THIS="$(cd "$(dirname "$0")"; pwd)" -PLATYPUS_APP="/Applications/Platypus-4.0/Platypus.app" COCOADIALOG_APP="/Applications/CocoaDialog.app" -"$PLATYPUS_APP/Contents/Resources/platypus" \ +/usr/local/bin/platypus \ -a Isabelle -u Isabelle \ -I "de.tum.in.isabelle" \ -i "$THIS/../isabelle.icns" \ -p /bin/bash \ - -c "$THIS/script" \ + -R \ -o None \ -f "$COCOADIALOG_APP" \ + "$THIS/script" \ "$PWD/Isabelle.app"