s14h
/
prism-accumulation
1
0
Fork 0
Code Releases Activity
Browse Source

Some formatting issues in Win launch scripts. 

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@2256 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Dave Parker 15 years ago
parent
98126c125c
commit
dbfd975c66
2 changed files with 5 additions and 7 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Unified View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 5
      prism/src/bin/prism.bat
  2. 7
      prism/src/bin/xprism.bat

5
prism/src/bin/prism.bat
View File

@ -17,9 +17,8 @@ rem - PRISM jar file (for binary versions) (gets priority)
rem - classes directory (most PRISM classes) rem - classes directory (most PRISM classes)
rem - top-level directory (for images, dtds) rem - top-level directory (for images, dtds)
rem - lib/pepa.zip (PEPA stuff) 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 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 Run PRISM through Java

7
prism/src/bin/xprism.bat
View File

@ -17,11 +17,10 @@ rem - PRISM jar file (for binary versions) (gets priority)
rem - classes directory (most PRISM classes) rem - classes directory (most PRISM classes)
rem - top-level directory (for images, dtds) rem - top-level directory (for images, dtds)
rem - lib/pepa.zip (PEPA stuff) 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 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 Run PRISM through Java
rem start javaw -Djava.library.path=%PRISM_DIR%\lib -classpath %CP% userinterface/GUIPrism %* 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 %* start javaw -Djava.library.path="%PRISM_DIR%\lib" -classpath "%CP%" userinterface/GUIPrism %*
Write Preview
Loading…
Cancel
Save