Admin/MacOS/App1/mk
changeset 48451 6d9c43f51e60
parent 31924 47b59620f37f
child 48452 4ad6182d5bb9
equal deleted inserted replaced
48450:8eaaaf376dc9 48451:6d9c43f51e60
     2 #
     2 #
     3 # Make Isabelle application bundle
     3 # Make Isabelle application bundle
     4 
     4 
     5 THIS="$(cd "$(dirname "$0")"; pwd)"
     5 THIS="$(cd "$(dirname "$0")"; pwd)"
     6 
     6 
     7 PLATYPUS_APP="/Applications/Platypus-4.0/Platypus.app"
       
     8 COCOADIALOG_APP="/Applications/CocoaDialog.app"
     7 COCOADIALOG_APP="/Applications/CocoaDialog.app"
     9 
     8 
    10 "$PLATYPUS_APP/Contents/Resources/platypus" \
     9 /usr/local/bin/platypus \
    11   -a Isabelle -u Isabelle \
    10   -a Isabelle -u Isabelle \
    12   -I "de.tum.in.isabelle" \
    11   -I "de.tum.in.isabelle" \
    13   -i "$THIS/../isabelle.icns" \
    12   -i "$THIS/../isabelle.icns" \
    14   -p /bin/bash \
    13   -p /bin/bash \
    15   -c "$THIS/script" \
    14   -R \
    16   -o None \
    15   -o None \
    17   -f "$COCOADIALOG_APP" \
    16   -f "$COCOADIALOG_APP" \
       
    17   "$THIS/script" \
    18   "$PWD/Isabelle.app"
    18   "$PWD/Isabelle.app"