From dbfd975c66af9556bb88c40706a397b7c28c8cbf Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 19 Nov 2010 08:07:31 +0000 Subject: [PATCH] Some formatting issues in Win launch scripts. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2256 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/bin/prism.bat | 5 ++--- prism/src/bin/xprism.bat | 7 +++---- 2 files changed, 5 insertions(+), 7 deletions(-) diff --git a/prism/src/bin/prism.bat b/prism/src/bin/prism.bat index b42b3eb2..64e65a65 100755 --- a/prism/src/bin/prism.bat +++ b/prism/src/bin/prism.bat @@ -17,9 +17,8 @@ rem - PRISM jar file (for binary versions) (gets priority) rem - classes directory (most PRISM classes) rem - top-level directory (for images, dtds) rem - lib/pepa.zip (PEPA stuff) -rem - jfree stuff -rem - lib/{jcommon,jfreechart}.jar (JFreeChart stuff) -rem - lib/epsgraphics.jar (Java EPS Graphics library) +rem - lib/{jcommon,jfreechart}.jar (JFreeChart stuff) +rem - lib/epsgraphics.jar (Java EPS Graphics library) set CP=%PRISM_DIR%\lib\prism.jar;%PRISM_DIR%\classes;%PRISM_DIR%;%PRISM_DIR%\lib\pepa.zip;%PRISM_DIR%\lib\jcommon.jar;%PRISM_DIR%\lib\jfreechart.jar;%PRISM_DIR%\lib\epsgraphics.jar rem Run PRISM through Java diff --git a/prism/src/bin/xprism.bat b/prism/src/bin/xprism.bat index 1bd0b808..c7093dfa 100755 --- a/prism/src/bin/xprism.bat +++ b/prism/src/bin/xprism.bat @@ -17,11 +17,10 @@ rem - PRISM jar file (for binary versions) (gets priority) rem - classes directory (most PRISM classes) rem - top-level directory (for images, dtds) rem - lib/pepa.zip (PEPA stuff) -rem - jfree stuff -rem - lib/{jcommon,jfreechart}.jar (JFreeChart stuff) -rem - lib/epsgraphics.jar (Java EPS Graphics library) +rem - lib/{jcommon,jfreechart}.jar (JFreeChart stuff) +rem - lib/epsgraphics.jar (Java EPS Graphics library) set CP=%PRISM_DIR%\lib\prism.jar;%PRISM_DIR%\classes;%PRISM_DIR%;%PRISM_DIR%\lib\pepa.zip;%PRISM_DIR%\lib\jcommon.jar;%PRISM_DIR%\lib\jfreechart.jar;%PRISM_DIR%\lib\epsgraphics.jar - + rem Run PRISM through Java rem start javaw -Djava.library.path=%PRISM_DIR%\lib -classpath %CP% userinterface/GUIPrism %* start javaw -Djava.library.path="%PRISM_DIR%\lib" -classpath "%CP%" userinterface/GUIPrism %*