From 241547abe9b4953a4adb8adb1ff2b68a53a551c3 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Wed, 31 Aug 2016 21:39:12 +0000
Subject: [PATCH] Add PRISM_DEBUG and PRISM_DEBUG_ARG variables to launch
 scripts, which allow debugging of C++ code, as described at
 http://www.prismmodelchecker.org/wiki/Developers/Debugging.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11766 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/bin/prism.cygwin   | 2 +-
 prism/src/bin/prism.darwin32 | 2 +-
 prism/src/bin/prism.darwin64 | 2 +-
 prism/src/bin/prism.linux    | 2 +-
 4 files changed, 4 insertions(+), 4 deletions(-)

diff --git a/prism/src/bin/prism.cygwin b/prism/src/bin/prism.cygwin
index f9ad1c40..d2d18eea 100644
--- a/prism/src/bin/prism.cygwin
+++ b/prism/src/bin/prism.cygwin
@@ -72,4 +72,4 @@ PRISM_CLASSPATH_WIN=`cygpath -wp $"$PRISM_CLASSPATH"`
 JAVA_LIBRARY_PATH_WIN=`cygpath -wp "$JAVA_LIBRARY_PATH"`
 
 # Run PRISM through Java
-"$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_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 "$@"
diff --git a/prism/src/bin/prism.darwin32 b/prism/src/bin/prism.darwin32
index 7587a560..2daeb55f 100755
--- a/prism/src/bin/prism.darwin32
+++ b/prism/src/bin/prism.darwin32
@@ -85,7 +85,7 @@ PRISM_ICON="-Xdock:icon=$PRISM_DIR/etc/icons/p64.png"
 PRISM_DOCK_NAME="-Xdock:name=PRISM"
 
 # Run PRISM through Java
-"$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_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_EXIT_CODE=$?
 
diff --git a/prism/src/bin/prism.darwin64 b/prism/src/bin/prism.darwin64
index 1ea95455..73f49016 100755
--- a/prism/src/bin/prism.darwin64
+++ b/prism/src/bin/prism.darwin64
@@ -85,7 +85,7 @@ PRISM_ICON="-Xdock:icon=$PRISM_DIR/etc/icons/p64.png"
 PRISM_DOCK_NAME="-Xdock:name=PRISM"
 
 # Run PRISM through Java
-"$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_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_EXIT_CODE=$?
 
diff --git a/prism/src/bin/prism.linux b/prism/src/bin/prism.linux
index 1dcb102d..3222d482 100755
--- a/prism/src/bin/prism.linux
+++ b/prism/src/bin/prism.linux
@@ -76,7 +76,7 @@ if [ "$PRISM_HEADLESS" = "" ]; then
 fi
 
 # Run PRISM through Java
-"$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_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_EXIT_CODE=$?