Admin/MacOS/App2/mk
author haftmann
Thu, 18 Nov 2010 17:01:15 +0100
changeset 40602 91e583511113
parent 31925 569b7fae5206
child 53498 05313b45a5ae
permissions -rwxr-xr-x
map_fun combinator in theory Fun
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