From 26a73e32480d270278a4f9d2c2df06d9f426f837 Mon Sep 17 00:00:00 2001
From: Dave Parker <dave.x.parker@gmail.com>
Date: Fri, 13 May 2016 19:13:15 +0000
Subject: [PATCH] Fix Cygwin launch scripts to handle paths with spaces in.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@11335 bbc10eb1-c90d-0410-af57-cb519fbb1720
---
 prism/src/bin/prism.cygwin | 6 +++++-
 1 file changed, 5 insertions(+), 1 deletion(-)

diff --git a/prism/src/bin/prism.cygwin b/prism/src/bin/prism.cygwin
index 7c08507d..f9ad1c40 100644
--- a/prism/src/bin/prism.cygwin
+++ b/prism/src/bin/prism.cygwin
@@ -67,5 +67,9 @@ if [ "$PRISM_HEADLESS" = "" ]; then
 	PRISM_HEADLESS=true
 fi
 
+# Convert paths to Windows form
+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=`cygpath -wp $JAVA_LIBRARY_PATH` -classpath `cygpath -wp $"$PRISM_CLASSPATH"` $PRISM_MAINCLASS "$@"
+"$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 "$@"