Mercurial Mercurial > repos > isabelle / changeset
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | raw | gz | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
updated to Platypus 4.7;
authorwenzelm
Mon, 23 Jul 2012 18:15:05 +0200
changeset 48451 6d9c43f51e60
parent 48450 8eaaaf376dc9
child 48452 4ad6182d5bb9
updated to Platypus 4.7;
Admin/MacOS/App1/README file | annotate | diff | comparison | revisions
Admin/MacOS/App1/mk file | annotate | diff | comparison | revisions 
--- 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
 
--- 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"
isabelle