Admin/MacOS/mk
author wenzelm
Thu Apr 16 17:29:30 2009 +0200 (2009-04-16)
changeset 30901 9343d4b7c5bf
parent 29154 32b13b953e3a
permissions -rwxr-xr-x
give up file type / dropability for now -- does not work reliably;
tuned;
wenzelm@29136
     1
#!/bin/bash
wenzelm@29136
     2
#
wenzelm@29136
     3
# Make Isabelle application bundle
wenzelm@29136
     4
wenzelm@29136
     5
THIS="$(cd "$(dirname "$0")"; pwd)"
wenzelm@29136
     6
wenzelm@29136
     7
PLATYPUS_APP="/Applications/Platypus-4.0/Platypus.app"
wenzelm@29136
     8
COCOADIALOG_APP="/Applications/CocoaDialog.app"
wenzelm@29136
     9
wenzelm@29136
    10
"$PLATYPUS_APP/Contents/Resources/platypus" \
wenzelm@29136
    11
  -a Isabelle -u Isabelle \
wenzelm@29136
    12
  -I "de.tum.in.isabelle" \
wenzelm@29136
    13
  -i "$THIS/isabelle.icns" \
wenzelm@29136
    14
  -p /bin/bash \
wenzelm@29136
    15
  -c "$THIS/script" \
wenzelm@29136
    16
  -o None \
wenzelm@29136
    17
  -f "$COCOADIALOG_APP" \
wenzelm@29154
    18
  "$PWD/Isabelle.app"