--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/MacOS/README Wed Dec 17 14:40:04 2008 +0100
@@ -0,0 +1,8 @@
+Isabelle application bundle for MacOS
+=====================================
+
+Requirements:
+
+* CocoaDialog http://cocoadialog.sourceforge.net/
+
+* Platypus http://www.sveinbjorn.org/platypus
Binary file Admin/MacOS/isabelle.icns has changed
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/MacOS/mk Wed Dec 17 14:40:04 2008 +0100
@@ -0,0 +1,19 @@
+#!/bin/bash
+#
+# Make Isabelle application bundle
+
+THIS="$(cd "$(dirname "$0")"; pwd)"
+
+PLATYPUS_APP="/Applications/Platypus-4.0/Platypus.app"
+COCOADIALOG_APP="/Applications/CocoaDialog.app"
+
+"$PLATYPUS_APP/Contents/Resources/platypus" \
+ -a Isabelle -u Isabelle \
+ -I "de.tum.in.isabelle" \
+ -i "$THIS/isabelle.icns" \
+ -D -X .thy \
+ -p /bin/bash \
+ -c "$THIS/script" \
+ -o None \
+ -f "$COCOADIALOG_APP" \
+ "$THIS/Isabelle.app"
--- /dev/null Thu Jan 01 00:00:00 1970 +0000
+++ b/Admin/MacOS/script Wed Dec 17 14:40:04 2008 +0100
@@ -0,0 +1,59 @@
+#!/bin/bash
+#
+# Author: Makarius
+#
+# Isabelle application wrapper
+
+THIS="$(cd "$(dirname "$0")"; pwd)"
+
+
+# global defaults
+ISABELLE_TOOL=""
+ISABELLE_INTERFACE="emacs"
+#ISABELLE_INTERFACE="jedit"
+
+
+# sane environment defaults
+PATH="$PATH:/opt/local/bin"
+cd "$HOME"
+
+
+# Isabelle location
+
+if [ -z "$ISABELLE_TOOL" ]; then
+ if [ -e "$THIS/Isabelle/bin/isabelle" ]; then
+ ISABELLE_TOOL="$THIS/Isabelle/bin/isabelle"
+ elif [ -e "$HOME/bin/isabelle" ]; then
+ ISABELLE_TOOL="$HOME/bin/isabelle"
+ else
+ ISABELLE_TOOL=isabelle
+ fi
+fi
+
+
+# run interface
+
+OUTPUT="/tmp/isabelle$$.out"
+
+( "$HOME/bin/isabelle" "$ISABELLE_INTERFACE" "$@" ) > "$OUTPUT" 2>&1
+RC=$?
+
+if [ "$RC" != 0 ]; then
+ echo >> "$OUTPUT"
+ echo "Return code: $RC" >> "$OUTPUT"
+fi
+
+
+# error feedback
+
+if [ -n "$OUTPUT" ]; then
+ "$THIS/CocoaDialog.app/Contents/MacOS/CocoaDialog" textbox \
+ --title "Isabelle" \
+ --informative-text "Isabelle output" \
+ --text-from-file "$OUTPUT" \
+ --button1 "OK"
+fi
+
+rm -f "$OUTPUT"
+
+exit "$RC"
Binary file Admin/MacOS/theory.icns has changed