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;
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
29136
de5b29c25af9 basic setup for MacOS application bundle;
wenzelm
parents:
diff changeset
     1
#!/bin/bash
de5b29c25af9 basic setup for MacOS application bundle;
wenzelm
parents:
diff changeset
     2
#
de5b29c25af9 basic setup for MacOS application bundle;
wenzelm
parents:
diff changeset
     3
# Make Isabelle application bundle
de5b29c25af9 basic setup for MacOS application bundle;
wenzelm
parents:
diff changeset
     4
de5b29c25af9 basic setup for MacOS application bundle;
wenzelm
parents:
diff changeset
     5
THIS="$(cd "$(dirname "$0")"; pwd)"
de5b29c25af9 basic setup for MacOS application bundle;
wenzelm
parents:
diff changeset
     6
de5b29c25af9 basic setup for MacOS application bundle;
wenzelm
parents:
diff changeset
     7
PLATYPUS_APP="/Applications/Platypus-4.0/Platypus.app"
de5b29c25af9 basic setup for MacOS application bundle;
wenzelm
parents:
diff changeset
     8
COCOADIALOG_APP="/Applications/CocoaDialog.app"
de5b29c25af9 basic setup for MacOS application bundle;
wenzelm
parents:
diff changeset
     9
de5b29c25af9 basic setup for MacOS application bundle;
wenzelm
parents:
diff changeset
    10
"$PLATYPUS_APP/Contents/Resources/platypus" \
de5b29c25af9 basic setup for MacOS application bundle;
wenzelm
parents:
diff changeset
    11
  -a Isabelle -u Isabelle \
de5b29c25af9 basic setup for MacOS application bundle;
wenzelm
parents:
diff changeset
    12
  -I "de.tum.in.isabelle" \
de5b29c25af9 basic setup for MacOS application bundle;
wenzelm
parents:
diff changeset
    13
  -i "$THIS/isabelle.icns" \
29151
fa5224eb28a5 proper -X option;
wenzelm
parents: 29136
diff changeset
    14
  -D -X thy \
29136
de5b29c25af9 basic setup for MacOS application bundle;
wenzelm
parents:
diff changeset
    15
  -p /bin/bash \
de5b29c25af9 basic setup for MacOS application bundle;
wenzelm
parents:
diff changeset
    16
  -c "$THIS/script" \
de5b29c25af9 basic setup for MacOS application bundle;
wenzelm
parents:
diff changeset
    17
  -o None \
de5b29c25af9 basic setup for MacOS application bundle;
wenzelm
parents:
diff changeset
    18
  -f "$COCOADIALOG_APP" \
29154
32b13b953e3a target PWD;
wenzelm
parents: 29151
diff changeset
    19
  "$PWD/Isabelle.app"