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
10 years ago · 26a73e3248
1 changed files with 5 additions and 1 deletions
--- 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 "$@"