isabelle: Admin/MacOS/App1/build@05313b45a5ae (annotated)

53498 05313b45a5ae more portable hash-bang; wenzelm parents: 50791 diff changeset	1	#!/usr/bin/env bash
29136 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	wenzelm
	Tue, 10 Sep 2013 11:57:53 +0200
changeset 53498	05313b45a5ae
parent 50791	ef950fad7807
permissions	-rwxr-xr-x