# HG changeset patch # User wenzelm # Date 1384201251 -3600 # Node ID d5816d83e4792056226459dc6625681d92dbbc6b # Parent 0e15665129287e4d6da16dd382e2b44e1947855c obsolete; diff -r 0e1566512928 -r d5816d83e479 Admin/MacOS/App1/README --- a/Admin/MacOS/App1/README Mon Nov 11 21:16:23 2013 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,14 +0,0 @@ -Isabelle application bundle for MacOS -===================================== - -Requirements: - -* CocoaDialog 2.1.1 http://cocoadialog.sourceforge.net/ - -* Platypus 4.7 http://www.sveinbjorn.org/platypus - Preferences: Install command line tool - -* final packaging: - - hdiutil create -srcfolder DIR DMG - diff -r 0e1566512928 -r d5816d83e479 Admin/MacOS/App1/build --- a/Admin/MacOS/App1/build Mon Nov 11 21:16:23 2013 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,23 +0,0 @@ -#!/usr/bin/env bash -# -# Make Isabelle application bundle - -THIS="$(cd "$(dirname "$0")"; pwd)" - -COCOADIALOG_APP="/Applications/CocoaDialog.app" - -/usr/local/bin/platypus \ - -a Isabelle -u Isabelle \ - -I "de.tum.in.isabelle" \ - -i "$THIS/../isabelle.icns" \ - -D -X thy \ - -Q "$THIS/../theory.icns" \ - -p /bin/bash \ - -R \ - -o None \ - -f "$COCOADIALOG_APP" \ - "$THIS/script" \ - "$PWD/Isabelle.app" - -rm -f Contents/Resources/Isabelle -ln -s Contents/Resources/Isabelle Isabelle.app/Isabelle \ No newline at end of file diff -r 0e1566512928 -r d5816d83e479 Admin/MacOS/App1/script --- a/Admin/MacOS/App1/script Mon Nov 11 21:16:23 2013 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,82 +0,0 @@ -#!/usr/bin/env bash -# -# Author: Makarius -# -# Isabelle application wrapper - -THIS="$(cd "$(dirname "$0")"; pwd)" -THIS_APP="$(cd "$THIS/../.."; pwd)" -SUPER_APP="$(cd "$THIS/../../.."; pwd)" - - -# global defaults - -ISABELLE_TOOL="$THIS/Isabelle/bin/isabelle" -PROOFGENERAL_EMACS="$THIS/Aquamacs.app/Contents/MacOS/Aquamacs" - - -# environment - -cd "$HOME" -if [ -x /usr/libexec/path_helper ]; then - eval $(/usr/libexec/path_helper -s) -fi - -[ -z "$LANG" ] && export LANG=en_US.UTF-8 - - -# run interface with error feedback - -ISABELLE_INTERFACE_CHOICE="$("$ISABELLE_TOOL" getenv -b ISABELLE_INTERFACE_CHOICE)" -if [ "$ISABELLE_INTERFACE_CHOICE" != emacs -a "$ISABELLE_INTERFACE_CHOICE" != jedit ] -then - declare -a CHOICE - CHOICE=($("$THIS/CocoaDialog.app/Contents/MacOS/CocoaDialog" dropdown \ - --title Isabelle \ - --text "Which Isabelle interface?" \ - --items "Isabelle/jEdit PIDE" "Emacs / Proof General" \ - --button2 "OK, do not ask again" --button1 "OK")) - if [ "${CHOICE[1]}" = 0 ]; then - ISABELLE_INTERFACE_CHOICE=jedit - else - ISABELLE_INTERFACE_CHOICE=emacs - fi - if [ "${CHOICE[0]}" = 2 ]; then - ISABELLE_HOME_USER="$("$ISABELLE_TOOL" getenv -b ISABELLE_HOME_USER)" - mkdir -p "$ISABELLE_HOME_USER/etc" - ( echo; echo "ISABELLE_INTERFACE_CHOICE=$ISABELLE_INTERFACE_CHOICE"; ) \ - >> "$ISABELLE_HOME_USER/etc/settings" - "$THIS/CocoaDialog.app/Contents/MacOS/CocoaDialog" ok-msgbox \ - --title Isabelle \ - --text Note \ - --informative-text "ISABELLE_INTERFACE_CHOICE stored in $ISABELLE_HOME_USER/etc/settings" \ - --no-cancel - fi -fi - -OUTPUT="/tmp/isabelle$$.out" - -if [ "$ISABELLE_INTERFACE_CHOICE" = emacs ]; then - ( "$ISABELLE_TOOL" emacs -p "$PROOFGENERAL_EMACS" "$@" ) > "$OUTPUT" 2>&1 - RC=$? -else - ( "$ISABELLE_TOOL" jedit -s "$@" ) > "$OUTPUT" 2>&1 - RC=$? -fi - -if [ "$RC" != 0 ]; then - echo >> "$OUTPUT" - echo "Return code: $RC" >> "$OUTPUT" -fi - -if [ $(stat -f "%z" "$OUTPUT") != 0 ]; 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" diff -r 0e1566512928 -r d5816d83e479 Admin/MacOS/App2/Isabelle.app/Contents/Info.plist --- a/Admin/MacOS/App2/Isabelle.app/Contents/Info.plist Mon Nov 11 21:16:23 2013 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,48 +0,0 @@ - - - - - CFBundleDevelopmentRegion - English - CFBundleExecutable - Isabelle - CFBundleGetInfoString - Isabelle - CFBundleIconFile - isabelle.icns - CFBundleIdentifier - de.tum.in.isabelle - CFBundleInfoDictionaryVersion - 6.0 - CFBundleName - Isabelle - CFBundlePackageType - APPL - CFBundleShortVersionString - ???? - CFBundleSignature - ???? - CFBundleVersion - ???? - Java - - JVMVersion - 1.6 - VMOptions - -Xms128m -Xmx512m -Xss2m - ClassPath - $JAVAROOT/isabelle-scala.jar - MainClass - isabelle.GUI_Setup - Properties - - isabelle.home - $APP_PACKAGE/Contents/Resources/Isabelle - apple.laf.useScreenMenuBar - true - com.apple.mrj.application.apple.menu.about.name - Isabelle - - - - diff -r 0e1566512928 -r d5816d83e479 Admin/MacOS/App2/Isabelle.app/Contents/MacOS/Isabelle --- a/Admin/MacOS/App2/Isabelle.app/Contents/MacOS/Isabelle Mon Nov 11 21:16:23 2013 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,1 +0,0 @@ -/System/Library/Frameworks/JavaVM.framework/Resources/MacOS/JavaApplicationStub \ No newline at end of file diff -r 0e1566512928 -r d5816d83e479 Admin/MacOS/App2/README --- a/Admin/MacOS/App2/README Mon Nov 11 21:16:23 2013 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,7 +0,0 @@ -Isabelle/JVM application bundle for MacOS -========================================= - -* http://developer.apple.com/documentation/Java/Conceptual/Java14Development/03-JavaDeployment/JavaDeployment.html - -* http://developer.apple.com/documentation/Java/Reference/Java_InfoplistRef/Articles/JavaDictionaryInfo.plistKeys.html#//apple_ref/doc/uid/TP40001969 - diff -r 0e1566512928 -r d5816d83e479 Admin/MacOS/App2/mk --- a/Admin/MacOS/App2/mk Mon Nov 11 21:16:23 2013 +0100 +++ /dev/null Thu Jan 01 00:00:00 1970 +0000 @@ -1,12 +0,0 @@ -#!/usr/bin/env bash -# -# Make Isabelle/JVM application bundle - -THIS="$(cd "$(dirname "$0")"; pwd)" - -APP="$THIS/Isabelle.app" - -mkdir -p "$APP/Contents/Resources/Java" -cp "$THIS/../../../lib/classes/isabelle-scala.jar" "$APP/Contents/Resources/Java" -cp "$THIS/../isabelle.icns" "$APP/Contents/Resources" -