Fix handling of PRISM_DEBUG and PRISM_DEBUG_ARG variables in launch scripts so that the scripts work when they are not set.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11767 bbc10eb1-c90d-0410-af57-cb519fbb1720

prism/src/bin/prism.cygwin

@@ -71,5 +71,12 @@ fi
 PRISM_CLASSPATH_WIN=`cygpath -wp $"$PRISM_CLASSPATH"`
 JAVA_LIBRARY_PATH_WIN=`cygpath -wp "$JAVA_LIBRARY_PATH"`
 
+# If debugging enabled, set up vars accordingly
+if [ "$PRISM_DEBUG" != "" ]; then
+	PRISM_JAVA_ARG1="$PRISM_JAVA"
+	PRISM_JAVA_ARG2="$PRISM_DEBUG_ARG"
+	PRISM_JAVA="$PRISM_DEBUG"
+fi
+
 # Run PRISM through Java
-"$PRISM_DEBUG" "$PRISM_DEBUG_ARG" "$PRISM_JAVA" $PRISM_JAVA_DEBUG $PRISM_JAVAMAXMEM $PRISM_JAVASTACKSIZE -Djava.awt.headless=$PRISM_HEADLESS -Djava.library.path="$JAVA_LIBRARY_PATH_WIN" -classpath "$PRISM_CLASSPATH_WIN" $PRISM_MAINCLASS "$@"
+"$PRISM_JAVA" $PRISM_JAVA_ARG1 $PRISM_JAVA_ARG2 $PRISM_JAVA_DEBUG $PRISM_JAVAMAXMEM $PRISM_JAVASTACKSIZE -Djava.awt.headless=$PRISM_HEADLESS -Djava.library.path="$JAVA_LIBRARY_PATH_WIN" -classpath "$PRISM_CLASSPATH_WIN" $PRISM_MAINCLASS "$@"

prism/src/bin/prism.darwin32

@@ -84,8 +84,15 @@ fi
 PRISM_ICON="-Xdock:icon=$PRISM_DIR/etc/icons/p64.png"
 PRISM_DOCK_NAME="-Xdock:name=PRISM"
 
+# If debugging enabled, set up vars accordingly
+if [ "$PRISM_DEBUG" != "" ]; then
+	PRISM_JAVA_ARG1="$PRISM_JAVA"
+	PRISM_JAVA_ARG2="$PRISM_DEBUG_ARG"
+	PRISM_JAVA="$PRISM_DEBUG"
+fi
+
 # Run PRISM through Java
-"$PRISM_DEBUG" "$PRISM_DEBUG_ARG" "$PRISM_JAVA" -d32 $PRISM_JAVA_DEBUG $PRISM_JAVAMAXMEM $PRISM_JAVASTACKSIZE "$PRISM_ICON" "$PRISM_DOCK_NAME" -Djava.awt.headless=$PRISM_HEADLESS -Djava.library.path="$JAVA_LIBRARY_PATH" -classpath "$PRISM_CLASSPATH" $PRISM_MAINCLASS "$@"
+"$PRISM_JAVA" $PRISM_JAVA_ARG1 $PRISM_JAVA_ARG2 -d32 $PRISM_JAVA_DEBUG $PRISM_JAVAMAXMEM $PRISM_JAVASTACKSIZE "$PRISM_ICON" "$PRISM_DOCK_NAME" -Djava.awt.headless=$PRISM_HEADLESS -Djava.library.path="$JAVA_LIBRARY_PATH" -classpath "$PRISM_CLASSPATH" $PRISM_MAINCLASS "$@"
 
 PRISM_EXIT_CODE=$?
 

prism/src/bin/prism.darwin64

@@ -84,8 +84,15 @@ fi
 PRISM_ICON="-Xdock:icon=$PRISM_DIR/etc/icons/p64.png"
 PRISM_DOCK_NAME="-Xdock:name=PRISM"
 
+# If debugging enabled, set up vars accordingly
+if [ "$PRISM_DEBUG" != "" ]; then
+	PRISM_JAVA_ARG1="$PRISM_JAVA"
+	PRISM_JAVA_ARG2="$PRISM_DEBUG_ARG"
+	PRISM_JAVA="$PRISM_DEBUG"
+fi
+
 # Run PRISM through Java
-"$PRISM_DEBUG" "$PRISM_DEBUG_ARG" "$PRISM_JAVA" -d64 $PRISM_JAVA_DEBUG $PRISM_JAVAMAXMEM $PRISM_JAVASTACKSIZE "$PRISM_ICON" "$PRISM_DOCK_NAME" -Djava.awt.headless=$PRISM_HEADLESS -Djava.library.path="$JAVA_LIBRARY_PATH" -classpath "$PRISM_CLASSPATH" $PRISM_MAINCLASS "$@"
+"$PRISM_JAVA" $PRISM_JAVA_ARG1 $PRISM_JAVA_ARG2 -d64 $PRISM_JAVA_DEBUG $PRISM_JAVAMAXMEM $PRISM_JAVASTACKSIZE "$PRISM_ICON" "$PRISM_DOCK_NAME" -Djava.awt.headless=$PRISM_HEADLESS -Djava.library.path="$JAVA_LIBRARY_PATH" -classpath "$PRISM_CLASSPATH" $PRISM_MAINCLASS "$@"
 
 PRISM_EXIT_CODE=$?
 

prism/src/bin/prism.linux

@@ -75,8 +75,15 @@ if [ "$PRISM_HEADLESS" = "" ]; then
 	PRISM_HEADLESS=true
 fi
 
+# If debugging enabled, set up vars accordingly
+if [ "$PRISM_DEBUG" != "" ]; then
+	PRISM_JAVA_ARG1="$PRISM_JAVA"
+	PRISM_JAVA_ARG2="$PRISM_DEBUG_ARG"
+	PRISM_JAVA="$PRISM_DEBUG"
+fi
+
 # Run PRISM through Java
-"$PRISM_DEBUG" "$PRISM_DEBUG_ARG" "$PRISM_JAVA" $PRISM_JAVA_DEBUG $PRISM_JAVAMAXMEM $PRISM_JAVASTACKSIZE -Djava.awt.headless=$PRISM_HEADLESS -Djava.library.path="$JAVA_LIBRARY_PATH" -classpath "$PRISM_CLASSPATH" $PRISM_MAINCLASS "$@"
+"$PRISM_JAVA" $PRISM_JAVA_ARG1 $PRISM_JAVA_ARG2 $PRISM_JAVA_DEBUG $PRISM_JAVAMAXMEM $PRISM_JAVASTACKSIZE -Djava.awt.headless=$PRISM_HEADLESS -Djava.library.path="$JAVA_LIBRARY_PATH" -classpath "$PRISM_CLASSPATH" $PRISM_MAINCLASS "$@"
 
 PRISM_EXIT_CODE=$?