From ea856282e1e50d8233419eee290343473fe67a32 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Tue, 24 Apr 2007 11:15:08 +0000 Subject: [PATCH] Bug fix in Windows .bat files (for case where PRISM_DIR is set manually). git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@315 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/bin/prism.bat | 5 +++-- prism/src/bin/xprism.bat | 5 +++-- 2 files changed, 6 insertions(+), 4 deletions(-) diff --git a/prism/src/bin/prism.bat b/prism/src/bin/prism.bat index 8b637597..0ed952d0 100755 --- a/prism/src/bin/prism.bat +++ b/prism/src/bin/prism.bat @@ -5,7 +5,8 @@ rem Startup script for PRISM (Windows) rem PRISM home directory rem Default is .. so it can be run directly from the bin directory. rem Change ".." to the actual PRISM directory to allow it to be run from anywhere. -rem An example would be: set PRISM_DIR="c:\Program Files\prism-2.1-win" +rem An example would be: set PRISM_DIR=c:\Program Files\prism-3.1.1 +rem Note: Do not put quotes ("...") around the path. set PRISM_DIR=.. rem Add PRISM to path @@ -19,4 +20,4 @@ rem - lib/pepa.zip (PEPA stuff) set CP=%PRISM_DIR%\lib\prism.jar;%PRISM_DIR%\classes;%PRISM_DIR%;%PRISM_DIR%\lib\pepa.zip rem Run PRISM through Java -java -Djava.library.path=%PRISM_DIR%\lib -classpath %CP% prism.PrismCL %* +java -Djava.library.path="%PRISM_DIR%\lib" -classpath "%CP%" prism.PrismCL %* diff --git a/prism/src/bin/xprism.bat b/prism/src/bin/xprism.bat index 082e8ef1..74e92a01 100755 --- a/prism/src/bin/xprism.bat +++ b/prism/src/bin/xprism.bat @@ -5,7 +5,8 @@ echo Loading PRISM... rem PRISM home directory rem Default is .. so it can be run directly from the bin directory. -rem Change to the actual prism directory to allow it to be run from anywhere. +rem An example would be: set PRISM_DIR=c:\Program Files\prism-3.1.1 +rem Note: Do not put quotes ("...") around the path. set PRISM_DIR=.. rem Add PRISM to path @@ -20,4 +21,4 @@ set CP=%PRISM_DIR%\lib\prism.jar;%PRISM_DIR%\classes;%PRISM_DIR%;%PRISM_DIR%\lib rem Run PRISM through Java rem start javaw -Djava.library.path=%PRISM_DIR%\lib -classpath %CP% userinterface/GUIPrism %* -java -Djava.library.path=%PRISM_DIR%\lib -classpath %CP% userinterface/GUIPrism %* +java -Djava.library.path="%PRISM_DIR%\lib" -classpath "%CP%" userinterface/GUIPrism %*