From 6bbe33bf616170fa3c73c68d434204558d10f381 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 6 Apr 2007 13:27:38 +0000 Subject: [PATCH] Fixes for possible bug in Windows launch scripts. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@252 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/bin/prism.bat | 2 +- prism/src/bin/xprism.bat | 5 ++--- 2 files changed, 3 insertions(+), 4 deletions(-) diff --git a/prism/src/bin/prism.bat b/prism/src/bin/prism.bat index 184c73d0..8b637597 100755 --- a/prism/src/bin/prism.bat +++ b/prism/src/bin/prism.bat @@ -19,4 +19,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 -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 07a03510..082e8ef1 100755 --- a/prism/src/bin/xprism.bat +++ b/prism/src/bin/xprism.bat @@ -19,6 +19,5 @@ 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 -rem start javaw -classpath %CP% userinterface/GUIPrism %* -java -classpath %CP% userinterface/GUIPrism %* - +rem start javaw -Djava.library.path=%PRISM_DIR%\lib -classpath %CP% userinterface/GUIPrism %* +java -Djava.library.path=%PRISM_DIR%\lib -classpath %CP% userinterface/GUIPrism %*