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
Thu, 22 Jul 2010 22:31:20 +0200
changeset 37939 965537d86fcc
parent 31925 569b7fae5206
child 53498 05313b45a5ae
permissions -rwxr-xr-x
discontinued special treatment of ML files -- no longer complete extensions on demand; simplified Thy_Load.check_file, with uniform error reporting; added Thy_Load.test_file for non-strict checking; misc tuning and simplification;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
31925
569b7fae5206 basic setup for Isabelle/JVM application bundle;
wenzelm
parents:
diff changeset 
     1
 
#!/bin/bash
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