Admin/MacOS/mk
author wenzelm
Wed, 15 Apr 2009 11:14:48 +0200
changeset 30895 bad26d8f0adf
parent 29154 32b13b953e3a
child 30901 9343d4b7c5bf
permissions -rwxr-xr-x
updated for Isabelle2009;

#!/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" \
  "$PWD/Isabelle.app"