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/mk
author berghofe
Thu, 26 Feb 2009 16:32:46 +0100
changeset 30107 f3b3b0e3d184
parent 29154 32b13b953e3a
child 30901 9343d4b7c5bf
permissions -rwxr-xr-x
Fixed nonexhaustive match problem in decomp, to make it fail more gracefully in case assumptions are not of the form (Trueprop $ ...).
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" \













de5b29c25af9
basic setup for MacOS application bundle;



wenzelm


parents: 

diff
changeset




    13


  -i "$THIS/isabelle.icns" \








29151






fa5224eb28a5
proper -X option;



wenzelm


parents: 
29136

diff
changeset




    14


  -D -X thy \








29136






de5b29c25af9
basic setup for MacOS application bundle;



wenzelm


parents: 

diff
changeset




    15


  -p /bin/bash \













de5b29c25af9
basic setup for MacOS application bundle;



wenzelm


parents: 

diff
changeset




    16


  -c "$THIS/script" \













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" \








29154






32b13b953e3a
target PWD;



wenzelm


parents: 
29151

diff
changeset




    19


  "$PWD/Isabelle.app"















isabelle