From 6eaf3511147d7ac361c1e3102955faf33cddae97 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Tue, 26 May 2009 19:58:24 +0000
Subject: [PATCH] New OS X launch script: icon + typo.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1103 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/bin/prism.darwin | 6 ++++--
 1 file changed, 4 insertions(+), 2 deletions(-)

diff --git a/prism/src/bin/prism.darwin b/prism/src/bin/prism.darwin
index 9f95caeb..69dde357 100755
--- a/prism/src/bin/prism.darwin
+++ b/prism/src/bin/prism.darwin
@@ -1,6 +1,6 @@
 #!/bin/sh
 
-# Startup script for PRISM (Linux/Solaris)
+# Startup script for PRISM (Mac OS X)
 
 # PRISM home directory
 PRISM_DIR=/home/luser/prism
@@ -55,5 +55,7 @@ if [ "$PRISM_HEADLESS" = "" ]; then
 	PRISM_HEADLESS=true
 fi
 
+ICON_OPTION="-Xdock:name=PRISM -Xdock:icon=$PRISM_DIR/etc/p64.png"
+
 # Run PRISM through Java
-"$PRISM_JAVA" $PRISM_JAVA_DEBUG $PRISM_JAVAMAXMEM -Djava.awt.headless=$PRISM_HEADLESS -Djava.library.path=$PRISM_DIR/lib -classpath "$PRISM_CLASSPATH" $PRISM_MAINCLASS "$@"
+"$PRISM_JAVA" $PRISM_JAVA_DEBUG $PRISM_JAVAMAXMEM $ICON_OPTION -Djava.awt.headless=$PRISM_HEADLESS -Djava.library.path=$PRISM_DIR/lib -classpath "$PRISM_CLASSPATH" $PRISM_MAINCLASS "$@"