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 haftmann
Thu, 18 Nov 2010 17:01:15 +0100
changeset 40602 91e583511113
parent 31924 47b59620f37f
child 48451 6d9c43f51e60
permissions -rwxr-xr-x
map_fun combinator in theory Fun
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


PLATYPUS_APP="/Applications/Platypus-4.0/Platypus.app"













de5b29c25af9
basic setup for MacOS application bundle;



wenzelm


parents: 

diff
changeset




     8


COCOADIALOG_APP="/Applications/CocoaDialog.app"













de5b29c25af9
basic setup for MacOS application bundle;



wenzelm


parents: 

diff
changeset




     9














de5b29c25af9
basic setup for MacOS application bundle;



wenzelm


parents: 

diff
changeset




    10


"$PLATYPUS_APP/Contents/Resources/platypus" \













de5b29c25af9
basic setup for MacOS application bundle;



wenzelm


parents: 

diff
changeset




    11


  -a Isabelle -u Isabelle \













de5b29c25af9
basic setup for MacOS application bundle;



wenzelm


parents: 

diff
changeset




    12


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








31924






47b59620f37f
separate setup for App1;



wenzelm


parents: 
30901

diff
changeset




    13


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








29136






de5b29c25af9
basic setup for MacOS application bundle;



wenzelm


parents: 

diff
changeset




    14


  -p /bin/bash \













de5b29c25af9
basic setup for MacOS application bundle;



wenzelm


parents: 

diff
changeset




    15


  -c "$THIS/script" \













de5b29c25af9
basic setup for MacOS application bundle;



wenzelm


parents: 

diff
changeset




    16


  -o None \













de5b29c25af9
basic setup for MacOS application bundle;



wenzelm


parents: 

diff
changeset




    17


  -f "$COCOADIALOG_APP" \








29154






32b13b953e3a
target PWD;



wenzelm


parents: 
29151

diff
changeset




    18


  "$PWD/Isabelle.app"















isabelle