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 %*