Admin/MacOS/App3/mk
author wenzelm
Sat, 23 Feb 2013 21:07:44 +0100
changeset 51257 93ccf48a46b7
permissions -rwxr-xr-x
basic setup for appbundler-1.0 for Mac OS X and Java 7;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
51257
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset
     1
#!/bin/bash
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset
     2
#
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset
     3
# Make Isabelle/JVM application bundle
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset
     4
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset
     5
THIS="$(cd "$(dirname "$0")"; pwd)"
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset
     6
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset
     7
APP="$THIS/Isabelle.app"
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset
     8
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset
     9
for NAME in Java MacOS PlugIns Resources
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset
    10
do
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset
    11
  mkdir -p "$APP/Contents/$NAME"
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset
    12
done
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset
    13
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset
    14
cp "$THIS/Info.plist" "$APP/Contents/."
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset
    15
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset
    16
for NAME in Pure.jar scala-library.jar scala-swing.jar
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset
    17
do
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset
    18
  ln -sf "../Resources/Isabelle/lib/classes/ext/$NAME" "$APP/Contents/Java"
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset
    19
done
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset
    20
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset
    21
cp -R "$THIS/Resources/." "$APP/Contents/Resources/."
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset
    22
cp "$THIS/../isabelle.icns" "$APP/Contents/Resources/."
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset
    23
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset
    24
ln -sf "../Resources/Isabelle/contrib/jdk-7u13/x86_64-darwin/jdk1.7.0_13.jdk" "$APP/Contents/PlugIns/jdk"
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset
    25
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset
    26
cp "$THIS/JavaAppLauncher" "$APP/Contents/MacOS/." && chmod +x "$APP/Contents/MacOS/JavaAppLauncher"
93ccf48a46b7 basic setup for appbundler-1.0 for Mac OS X and Java 7;
wenzelm
parents:
diff changeset
    27