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

Simplify bin scripts by adding all jar files to classpath at once. 

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@4888 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Dave Parker 14 years ago
parent
fc4fcc4df6
commit
bb6b91f696
6 changed files with 12 additions and 56 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. 6
      prism/src/bin/prism.bat.win
  2. 14
      prism/src/bin/prism.cygwin
  3. 14
      prism/src/bin/prism.darwin32
  4. 14
      prism/src/bin/prism.darwin64
  5. 14
      prism/src/bin/prism.linux
  6. 6
      prism/src/bin/xprism.bat.win

6
prism/src/bin/prism.bat.win
View File

@ -17,10 +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 - lib/{jcommon,jfreechart}.jar (JFreeChart stuff)
rem - lib/epsgraphics.jar (Java EPS Graphics library)
rem - lib/colt.jar (COLT statistics 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;%PRISM_DIR%\lib\colt.jar
rem - lib/*.jar (all other jars)
set CP=%PRISM_DIR%\lib\prism.jar;%PRISM_DIR%\classes;%PRISM_DIR%;%PRISM_DIR%\lib\pepa.zip;%PRISM_DIR%\lib\*
rem Run PRISM through Java 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 %*

14
prism/src/bin/prism.cygwin
View File

@ -34,18 +34,8 @@ fi
# - classes directory (most PRISM classes) # - classes directory (most PRISM classes)
# - top-level directory (for images, dtds) # - top-level directory (for images, dtds)
# - lib/pepa.zip (PEPA stuff) # - lib/pepa.zip (PEPA stuff)
# - lib/{jcommon,jfreechart}.jar (JFreeChart stuff)
# - lib/epsgraphics.jar (Java EPS Graphics library)
# - lib/colt.jar (COLT statistics library)
PRISM_CLASSPATH=\
"$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\
:"$PRISM_DIR"/lib/colt.jar
# - lib/*.jar (all other jars)
PRISM_CLASSPATH="$PRISM_DIR"/lib/prism.jar:"$PRISM_DIR"/classes:"$PRISM_DIR":"$PRISM_DIR"/lib/pepa.zip:"$PRISM_DIR"/lib/*
# Export environment variables # Export environment variables
export PRISM_DIR PATH export PRISM_DIR PATH

14
prism/src/bin/prism.darwin32
View File

@ -42,18 +42,8 @@ fi
# - classes directory (most PRISM classes) # - classes directory (most PRISM classes)
# - top-level directory (for images, dtds) # - top-level directory (for images, dtds)
# - lib/pepa.zip (PEPA stuff) # - lib/pepa.zip (PEPA stuff)
# - lib/{jcommon,jfreechart}.jar (JFreeChart stuff)
# - lib/epsgraphics.jar (Java EPS Graphics library)
# - lib/colt.jar (COLT statistics library)
PRISM_CLASSPATH=\
"$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\
:"$PRISM_DIR"/lib/colt.jar
# - lib/*.jar (all other jars)
PRISM_CLASSPATH="$PRISM_DIR"/lib/prism.jar:"$PRISM_DIR"/classes:"$PRISM_DIR":"$PRISM_DIR"/lib/pepa.zip:"$PRISM_DIR"/lib/*
# Export environment variables # Export environment variables
export PRISM_DIR DYLD_LIBRARY_PATH export PRISM_DIR DYLD_LIBRARY_PATH

14
prism/src/bin/prism.darwin64
View File

@ -42,18 +42,8 @@ fi
# - classes directory (most PRISM classes) # - classes directory (most PRISM classes)
# - top-level directory (for images, dtds) # - top-level directory (for images, dtds)
# - lib/pepa.zip (PEPA stuff) # - lib/pepa.zip (PEPA stuff)
# - lib/{jcommon,jfreechart}.jar (JFreeChart stuff)
# - lib/epsgraphics.jar (Java EPS Graphics library)
# - lib/colt.jar (COLT statistics library)
PRISM_CLASSPATH=\
"$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\
:"$PRISM_DIR"/lib/colt.jar
# - lib/*.jar (all other jars)
PRISM_CLASSPATH="$PRISM_DIR"/lib/prism.jar:"$PRISM_DIR"/classes:"$PRISM_DIR":"$PRISM_DIR"/lib/pepa.zip:"$PRISM_DIR"/lib/*
# Export environment variables # Export environment variables
export PRISM_DIR DYLD_LIBRARY_PATH export PRISM_DIR DYLD_LIBRARY_PATH

14
prism/src/bin/prism.linux
View File

@ -42,18 +42,8 @@ fi
# - classes directory (most PRISM classes) # - classes directory (most PRISM classes)
# - top-level directory (for images, dtds) # - top-level directory (for images, dtds)
# - lib/pepa.zip (PEPA stuff) # - lib/pepa.zip (PEPA stuff)
# - lib/{jcommon,jfreechart}.jar (JFreeChart stuff)
# - lib/epsgraphics.jar (Java EPS Graphics library)
# - lib/colt.jar (COLT statistics library)
PRISM_CLASSPATH=\
"$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\
:"$PRISM_DIR"/lib/colt.jar
# - lib/*.jar (all other jars)
PRISM_CLASSPATH="$PRISM_DIR"/lib/prism.jar:"$PRISM_DIR"/classes:"$PRISM_DIR":"$PRISM_DIR"/lib/pepa.zip:"$PRISM_DIR"/lib/*
# Export environment variables # Export environment variables
export PRISM_DIR LD_LIBRARY_PATH export PRISM_DIR LD_LIBRARY_PATH

6
prism/src/bin/xprism.bat.win
View File

@ -17,10 +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 - lib/{jcommon,jfreechart}.jar (JFreeChart stuff)
rem - lib/epsgraphics.jar (Java EPS Graphics library)
rem - lib/colt.jar (COLT statistics 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;%PRISM_DIR%\lib\colt.jar
rem - lib/*.jar (all other jars)
set CP=%PRISM_DIR%\lib\prism.jar;%PRISM_DIR%\classes;%PRISM_DIR%;%PRISM_DIR%\lib\pepa.zip;%PRISM_DIR%\lib\*
rem Run PRISM through Java rem Run PRISM through Java
start "PRISM" javaw -Djava.library.path="%PRISM_DIR%\lib" -classpath "%CP%" userinterface/GUIPrism %* start "PRISM" javaw -Djava.library.path="%PRISM_DIR%\lib" -classpath "%CP%" userinterface/GUIPrism %*
Write Preview
Loading…
Cancel
Save