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/App2/mk
author wenzelm
Wed, 04 Dec 2013 18:59:20 +0100
changeset 54667 4dd08fe126ba
parent 53498 05313b45a5ae
permissions -rwxr-xr-x
remove junk;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
53498
05313b45a5ae more portable hash-bang;
wenzelm
parents: 31925
diff changeset 
     1
 
#!/usr/bin/env bash
31925
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset 
     2
 
#
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset 
     3
 
# Make Isabelle/JVM application bundle
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset 
     4
 












569b7fae5206
basic setup for Isabelle/JVM application bundle;



wenzelm


parents: 

diff
changeset




     5


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













569b7fae5206
basic setup for Isabelle/JVM application bundle;



wenzelm


parents: 

diff
changeset




     6














569b7fae5206
basic setup for Isabelle/JVM application bundle;



wenzelm


parents: 

diff
changeset




     7


APP="$THIS/Isabelle.app"













569b7fae5206
basic setup for Isabelle/JVM application bundle;



wenzelm


parents: 

diff
changeset




     8














569b7fae5206
basic setup for Isabelle/JVM application bundle;



wenzelm


parents: 

diff
changeset




     9


mkdir -p "$APP/Contents/Resources/Java"













569b7fae5206
basic setup for Isabelle/JVM application bundle;



wenzelm


parents: 

diff
changeset




    10


cp "$THIS/../../../lib/classes/isabelle-scala.jar" "$APP/Contents/Resources/Java"













569b7fae5206
basic setup for Isabelle/JVM application bundle;



wenzelm


parents: 

diff
changeset




    11


cp "$THIS/../isabelle.icns" "$APP/Contents/Resources"













569b7fae5206
basic setup for Isabelle/JVM application bundle;



wenzelm


parents: 

diff
changeset




    12
















isabelle