Mercurial Mercurial > repos > isabelle / annotate
summary | shortlog | changelog | graph | tags | bookmarks | branches | files | changeset | file | latest | revisions | annotate | diff | comparison | raw | help
Find changesets by keywords (author, files, the commit message), revision number or hash, or revset expression.
Admin/MacOS/App1/mk
author wenzelm
Mon, 23 Jul 2012 18:21:26 +0200
changeset 48452 4ad6182d5bb9
parent 48451 6d9c43f51e60
permissions -rwxr-xr-x
try droppable application using Platypus functionality -- in contrast to earlier AppHack (cf. 9343d4b7c5bf);
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
29136
de5b29c25af9 basic setup for MacOS application bundle;
wenzelm
parents:
diff changeset 
     1
 
#!/bin/bash
de5b29c25af9 basic setup for MacOS application bundle;
wenzelm
parents:
diff changeset 
     2
 
#
de5b29c25af9 basic setup for MacOS application bundle;
wenzelm
parents:
diff changeset 
     3
 
# Make Isabelle application bundle
de5b29c25af9 basic setup for MacOS application bundle;
wenzelm
parents:
diff changeset 
     4
 












de5b29c25af9
basic setup for MacOS application bundle;



wenzelm


parents: 

diff
changeset




     5


THIS="$(cd "$(dirname "$0")"; pwd)"













de5b29c25af9
basic setup for MacOS application bundle;



wenzelm


parents: 

diff
changeset




     6














de5b29c25af9
basic setup for MacOS application bundle;



wenzelm


parents: 

diff
changeset




     7


COCOADIALOG_APP="/Applications/CocoaDialog.app"













de5b29c25af9
basic setup for MacOS application bundle;



wenzelm


parents: 

diff
changeset




     8









48451






6d9c43f51e60
updated to Platypus 4.7;



wenzelm


parents: 
31924

diff
changeset




     9


/usr/local/bin/platypus \








29136






de5b29c25af9
basic setup for MacOS application bundle;



wenzelm


parents: 

diff
changeset




    10


  -a Isabelle -u Isabelle \













de5b29c25af9
basic setup for MacOS application bundle;



wenzelm


parents: 

diff
changeset




    11


  -I "de.tum.in.isabelle" \








31924






47b59620f37f
separate setup for App1;



wenzelm


parents: 
30901

diff
changeset




    12


  -i "$THIS/../isabelle.icns" \








48452






4ad6182d5bb9
try droppable application using Platypus functionality -- in contrast to earlier AppHack (cf. 9343d4b7c5bf);



wenzelm


parents: 
48451

diff
changeset




    13


  -D -X thy \













4ad6182d5bb9
try droppable application using Platypus functionality -- in contrast to earlier AppHack (cf. 9343d4b7c5bf);



wenzelm


parents: 
48451

diff
changeset




    14


  -Q "$THIS/../theory.icns" \








29136






de5b29c25af9
basic setup for MacOS application bundle;



wenzelm


parents: 

diff
changeset




    15


  -p /bin/bash \








48451






6d9c43f51e60
updated to Platypus 4.7;



wenzelm


parents: 
31924

diff
changeset




    16


  -R \








29136






de5b29c25af9
basic setup for MacOS application bundle;



wenzelm


parents: 

diff
changeset




    17


  -o None \













de5b29c25af9
basic setup for MacOS application bundle;



wenzelm


parents: 

diff
changeset




    18


  -f "$COCOADIALOG_APP" \








48451






6d9c43f51e60
updated to Platypus 4.7;



wenzelm


parents: 
31924

diff
changeset




    19


  "$THIS/script" \








29154






32b13b953e3a
target PWD;



wenzelm


parents: 
29151

diff
changeset




    20


  "$PWD/Isabelle.app"















isabelle