# HG changeset patch
# User wenzelm
# Date 1361650064 -3600
# Node ID 93ccf48a46b75558e5f95ac262d4bac2bb3ccfbe
# Parent  ee836df361ed419157d6f5ac28754e6129d0ed0d
basic setup for appbundler-1.0 for Mac OS X and Java 7;

diff -r ee836df361ed -r 93ccf48a46b7 Admin/MacOS/App3/Info.plist
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/MacOS/App3/Info.plist	Sat Feb 23 21:07:44 2013 +0100
@@ -0,0 +1,45 @@
+<?xml version="1.0" ?>
+<!DOCTYPE plist PUBLIC "-//Apple//DTD PLIST 1.0//EN" "http://www.apple.com/DTDs/PropertyList-1.0.dtd">
+<plist version="1.0">
+<dict>
+<key>CFBundleDevelopmentRegion</key>
+<string>English</string>
+<key>CFBundleExecutable</key>
+<string>JavaAppLauncher</string>
+<key>CFBundleIconFile</key>
+<string>isabelle.icns</string>
+<key>CFBundleIdentifier</key>
+<string>de.tum.in.isabelle</string>
+<key>CFBundleDisplayName</key>
+<string>Isabelle</string>
+<key>CFBundleInfoDictionaryVersion</key>
+<string>6.0</string>
+<key>CFBundleName</key>
+<string>Isabelle</string>
+<key>CFBundlePackageType</key>
+<string>APPL</string>
+<key>CFBundleShortVersionString</key>
+<string>1.0</string>
+<key>CFBundleSignature</key>
+<string>????</string>
+<key>CFBundleVersion</key>
+<string>1</string>
+<key>NSHumanReadableCopyright</key>
+<string></string>
+<key>LSApplicationCategoryType</key>
+<string>public.app-category.developer-tools</string>
+<key>JVMRuntime</key>
+<string>jdk</string>
+<key>JVMMainClassName</key>
+<string>isabelle.Main</string>
+<key>JVMOptions</key>
+<array>
+<string>-Dapple.laf.useScreenMenuBar=true</string>
+<string>-Disabelle.home=$APP_ROOT/Isabelle</string>
+</array>
+<key>JVMArguments</key>
+<array>
+</array>
+</dict>
+</plist>
+
diff -r ee836df361ed -r 93ccf48a46b7 Admin/MacOS/App3/README
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/MacOS/App3/README	Sat Feb 23 21:07:44 2013 +0100
@@ -0,0 +1,8 @@
+Isabelle/JVM application bundle for Mac OS X
+============================================
+
+* http://java.net/projects/appbundler
+
+  see appbundler-1.0.jar
+  see com/oracle/appbundler/JavaAppLauncher
+
diff -r ee836df361ed -r 93ccf48a46b7 Admin/MacOS/App3/Resources/en.lproj/Localizable.strings
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/MacOS/App3/Resources/en.lproj/Localizable.strings	Sat Feb 23 21:07:44 2013 +0100
@@ -0,0 +1,3 @@
+"JRELoadError" = "Unable to load Java Runtime Environment.";
+"MainClassNameRequired" = "Main class name is required.";
+"JavaDirectoryNotFound" = "Unable to enumerate Java directory contents.";
diff -r ee836df361ed -r 93ccf48a46b7 Admin/MacOS/App3/mk
--- /dev/null	Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/MacOS/App3/mk	Sat Feb 23 21:07:44 2013 +0100
@@ -0,0 +1,27 @@
+#!/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"
+