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

Slight (additional) refactor in launch scripts to ease addition of extra libraries. 

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@8848 bbc10eb1-c90d-0410-af57-cb519fbb1720
master
Dave Parker 12 years ago
parent
b9ade0d5dd
commit
5cb2faff94
4 changed files with 40 additions and 32 deletions
Whitespace
Show all changes Ignore whitespace when comparing lines Ignore changes in amount of whitespace Ignore changes in whitespace at EOL
Split View
Diff Options
Show Stats Download Patch File Download Diff File
  1. 18
      prism/src/bin/prism.cygwin
  2. 18
      prism/src/bin/prism.darwin32
  3. 18
      prism/src/bin/prism.darwin64
  4. 18
      prism/src/bin/prism.linux

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

@ -22,8 +22,18 @@ else
PRISM_JAVAMAXMEM="-Xmx512m"
fi
# Set up CLASSPATH:
# - PRISM jar file (for binary versions) (gets priority)
# - classes directory (most PRISM classes)
# - top-level directory (for images, dtds)
# - lib/pepa.zip (PEPA stuff)
# - 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/*
# Set up pointers to libraries
PRISM_LIB_PATH="$PRISM_DIR"/lib
# Copy library path to relevant vars
if [ "$PATH" = "" ]; then
PATH="$PRISM_LIB_PATH"
else
@ -31,14 +41,6 @@ else
fi
JAVA_LIBRARY_PATH="$PRISM_LIB_PATH"
# Set up CLASSPATH:
# - PRISM jar file (for binary versions) (gets priority)
# - classes directory (most PRISM classes)
# - top-level directory (for images, dtds)
# - lib/pepa.zip (PEPA stuff)
# - 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 PRISM_DIR PATH

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

@ -30,8 +30,18 @@ else
PRISM_JAVAMAXMEM="-Xmx512m"
fi
# Set up CLASSPATH:
# - PRISM jar file (for binary versions) (gets priority)
# - classes directory (most PRISM classes)
# - top-level directory (for images, dtds)
# - lib/pepa.zip (PEPA stuff)
# - 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/*
# Set up pointers to libraries
PRISM_LIB_PATH="$PRISM_DIR"/lib
# Copy library path to relevant vars
if [ "$DYLD_LIBRARY_PATH" = "" ]; then
DYLD_LIBRARY_PATH="$PRISM_LIB_PATH"
else
@ -39,14 +49,6 @@ else
fi
JAVA_LIBRARY_PATH="$PRISM_LIB_PATH"
# Set up CLASSPATH:
# - PRISM jar file (for binary versions) (gets priority)
# - classes directory (most PRISM classes)
# - top-level directory (for images, dtds)
# - lib/pepa.zip (PEPA stuff)
# - 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 PRISM_DIR DYLD_LIBRARY_PATH

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

@ -30,8 +30,18 @@ else
PRISM_JAVAMAXMEM="-Xmx512m"
fi
# Set up CLASSPATH:
# - PRISM jar file (for binary versions) (gets priority)
# - classes directory (most PRISM classes)
# - top-level directory (for images, dtds)
# - lib/pepa.zip (PEPA stuff)
# - 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/*
# Set up pointers to libraries
PRISM_LIB_PATH="$PRISM_DIR"/lib
# Copy library path to relevant vars
if [ "$DYLD_LIBRARY_PATH" = "" ]; then
DYLD_LIBRARY_PATH="$PRISM_LIB_PATH"
else
@ -39,14 +49,6 @@ else
fi
JAVA_LIBRARY_PATH="$PRISM_LIB_PATH"
# Set up CLASSPATH:
# - PRISM jar file (for binary versions) (gets priority)
# - classes directory (most PRISM classes)
# - top-level directory (for images, dtds)
# - lib/pepa.zip (PEPA stuff)
# - 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 PRISM_DIR DYLD_LIBRARY_PATH

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

@ -30,8 +30,18 @@ else
PRISM_JAVAMAXMEM="-Xmx512m"
fi
# Set up CLASSPATH:
# - PRISM jar file (for binary versions) (gets priority)
# - classes directory (most PRISM classes)
# - top-level directory (for images, dtds)
# - lib/pepa.zip (PEPA stuff)
# - 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/*
# Set up pointers to libraries
PRISM_LIB_PATH="$PRISM_DIR"/lib
# Copy library path to relevant vars
if [ "$LD_LIBRARY_PATH" = "" ]; then
LD_LIBRARY_PATH="$PRISM_LIB_PATH"
else
@ -39,14 +49,6 @@ else
fi
JAVA_LIBRARY_PATH="$PRISM_LIB_PATH"
# Set up CLASSPATH:
# - PRISM jar file (for binary versions) (gets priority)
# - classes directory (most PRISM classes)
# - top-level directory (for images, dtds)
# - lib/pepa.zip (PEPA stuff)
# - 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 PRISM_DIR LD_LIBRARY_PATH

Write Preview
Loading…
Cancel
Save