Mercurial Mercurial > repos > isabelle / file revision
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/App3/mk
author haftmann
Sun, 23 Jun 2013 21:16:06 +0200
changeset 52433 ec3a22e62b54
parent 51257 93ccf48a46b7
permissions -rwxr-xr-x
tuned variable names

#!/bin/bash
#
# Make Isabelle/JVM application bundle

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

APP="$THIS/Isabelle.app"

for NAME in Java MacOS PlugIns Resources
do
  mkdir -p "$APP/Contents/$NAME"
done

cp "$THIS/Info.plist" "$APP/Contents/."

for NAME in Pure.jar scala-library.jar scala-swing.jar
do
  ln -sf "../Resources/Isabelle/lib/classes/ext/$NAME" "$APP/Contents/Java"
done

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

ln -sf "../Resources/Isabelle/contrib/jdk-7u13/x86_64-darwin/jdk1.7.0_13.jdk" "$APP/Contents/PlugIns/jdk"

cp "$THIS/JavaAppLauncher" "$APP/Contents/MacOS/." && chmod +x "$APP/Contents/MacOS/JavaAppLauncher"
isabelle