isabelle: Admin/MacOS/App1/build@83ce5d2841e7 (annotated)

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	COCOADIALOG_APP="/Applications/CocoaDialog.app"
de5b29c25af9 basic setup for MacOS application bundle; wenzelm parents: diff changeset	8
48451 6d9c43f51e60 updated to Platypus 4.7; wenzelm parents: 31924 diff changeset	9	/usr/local/bin/platypus \
29136 de5b29c25af9 basic setup for MacOS application bundle; wenzelm parents: diff changeset	10	-a Isabelle -u Isabelle \
de5b29c25af9 basic setup for MacOS application bundle; wenzelm parents: diff changeset	11	-I "de.tum.in.isabelle" \
31924 47b59620f37f separate setup for App1; wenzelm parents: 30901 diff changeset	12	-i "$THIS/../isabelle.icns" \
48452 4ad6182d5bb9 try droppable application using Platypus functionality -- in contrast to earlier AppHack (cf. 9343d4b7c5bf); wenzelm parents: 48451 diff changeset	13	-D -X thy \
4ad6182d5bb9 try droppable application using Platypus functionality -- in contrast to earlier AppHack (cf. 9343d4b7c5bf); wenzelm parents: 48451 diff changeset	14	-Q "$THIS/../theory.icns" \
29136 de5b29c25af9 basic setup for MacOS application bundle; wenzelm parents: diff changeset	15	-p /bin/bash \
48451 6d9c43f51e60 updated to Platypus 4.7; wenzelm parents: 31924 diff changeset	16	-R \
29136 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" \
48451 6d9c43f51e60 updated to Platypus 4.7; wenzelm parents: 31924 diff changeset	19	"$THIS/script" \
29154 32b13b953e3a target PWD; wenzelm parents: 29151 diff changeset	20	"$PWD/Isabelle.app"
50791 ef950fad7807 tuned; wenzelm parents: 48630 diff changeset	21
ef950fad7807 tuned; wenzelm parents: 48630 diff changeset	22	rm -f Contents/Resources/Isabelle
ef950fad7807 tuned; wenzelm parents: 48630 diff changeset	23	ln -s Contents/Resources/Isabelle Isabelle.app/Isabelle

author	haftmann
	Sun, 02 Jun 2013 20:44:55 +0200
changeset 52289	83ce5d2841e7
parent 50791	ef950fad7807
child 53498	05313b45a5ae
permissions	-rwxr-xr-x