diff --git a/prism/src/bin/prism.cygwin b/prism/src/bin/prism.cygwin index 0aa2356a..6a4b54eb 100644 --- a/prism/src/bin/prism.cygwin +++ b/prism/src/bin/prism.cygwin @@ -21,6 +21,7 @@ else # default PRISM_JAVAMAXMEM="-Xmx512m" fi +PRISM_JAVASTACKSIZE="-Xss4M" # Set up CLASSPATH: # - PRISM jar file (for binary versions) (gets priority) @@ -55,4 +56,4 @@ if [ "$PRISM_HEADLESS" = "" ]; then fi # Run PRISM through Java -"$PRISM_JAVA" $PRISM_JAVA_DEBUG $PRISM_JAVAMAXMEM -Djava.awt.headless=$PRISM_HEADLESS -Djava.library.path=`cygpath -wp $JAVA_LIBRARY_PATH` -classpath `cygpath -wp $"$PRISM_CLASSPATH"` $PRISM_MAINCLASS "$@" +"$PRISM_JAVA" $PRISM_JAVA_DEBUG $PRISM_JAVAMAXMEM $PRISM_JAVASTACKSIZE -Djava.awt.headless=$PRISM_HEADLESS -Djava.library.path=`cygpath -wp $JAVA_LIBRARY_PATH` -classpath `cygpath -wp $"$PRISM_CLASSPATH"` $PRISM_MAINCLASS "$@" diff --git a/prism/src/bin/prism.darwin32 b/prism/src/bin/prism.darwin32 index 5bd76694..4a75a18e 100755 --- a/prism/src/bin/prism.darwin32 +++ b/prism/src/bin/prism.darwin32 @@ -29,6 +29,7 @@ else # default PRISM_JAVAMAXMEM="-Xmx512m" fi +PRISM_JAVASTACKSIZE="-Xss4M" # Set up CLASSPATH: # - PRISM jar file (for binary versions) (gets priority) @@ -65,7 +66,7 @@ fi ICON_OPTION="-Xdock:name=PRISM -Xdock:icon=$PRISM_DIR/etc/icons/p64.png" # Run PRISM through Java -"$PRISM_JAVA" -d32 $PRISM_JAVA_DEBUG $PRISM_JAVAMAXMEM "$ICON_OPTION" -Djava.awt.headless=$PRISM_HEADLESS -Djava.library.path="$JAVA_LIBRARY_PATH" -classpath "$PRISM_CLASSPATH" $PRISM_MAINCLASS "$@" +"$PRISM_JAVA" -d32 $PRISM_JAVA_DEBUG $PRISM_JAVAMAXMEM $PRISM_JAVASTACKSIZE "$ICON_OPTION" -Djava.awt.headless=$PRISM_HEADLESS -Djava.library.path="$JAVA_LIBRARY_PATH" -classpath "$PRISM_CLASSPATH" $PRISM_MAINCLASS "$@" PRISM_EXIT_CODE=$? diff --git a/prism/src/bin/prism.darwin64 b/prism/src/bin/prism.darwin64 index 861a0f58..f1c173c4 100755 --- a/prism/src/bin/prism.darwin64 +++ b/prism/src/bin/prism.darwin64 @@ -29,6 +29,7 @@ else # default PRISM_JAVAMAXMEM="-Xmx512m" fi +PRISM_JAVASTACKSIZE="-Xss4M" # Set up CLASSPATH: # - PRISM jar file (for binary versions) (gets priority) @@ -65,7 +66,7 @@ fi ICON_OPTION="-Xdock:name=PRISM -Xdock:icon=$PRISM_DIR/etc/icons/p64.png" # Run PRISM through Java -"$PRISM_JAVA" -d64 $PRISM_JAVA_DEBUG $PRISM_JAVAMAXMEM "$ICON_OPTION" -Djava.awt.headless=$PRISM_HEADLESS -Djava.library.path="$JAVA_LIBRARY_PATH" -classpath "$PRISM_CLASSPATH" $PRISM_MAINCLASS "$@" +"$PRISM_JAVA" -d64 $PRISM_JAVA_DEBUG $PRISM_JAVAMAXMEM $PRISM_JAVASTACKSIZE "$ICON_OPTION" -Djava.awt.headless=$PRISM_HEADLESS -Djava.library.path="$JAVA_LIBRARY_PATH" -classpath "$PRISM_CLASSPATH" $PRISM_MAINCLASS "$@" PRISM_EXIT_CODE=$? diff --git a/prism/src/bin/prism.linux b/prism/src/bin/prism.linux index f9d273fe..15887ec2 100755 --- a/prism/src/bin/prism.linux +++ b/prism/src/bin/prism.linux @@ -29,6 +29,7 @@ else # default PRISM_JAVAMAXMEM="-Xmx512m" fi +PRISM_JAVASTACKSIZE="-Xss4M" # Set up CLASSPATH: # - PRISM jar file (for binary versions) (gets priority) @@ -63,7 +64,7 @@ if [ "$PRISM_HEADLESS" = "" ]; then fi # Run PRISM through Java -"$PRISM_JAVA" $PRISM_JAVA_DEBUG $PRISM_JAVAMAXMEM -Djava.awt.headless=$PRISM_HEADLESS -Djava.library.path="$JAVA_LIBRARY_PATH" -classpath "$PRISM_CLASSPATH" $PRISM_MAINCLASS "$@" +"$PRISM_JAVA" $PRISM_JAVA_DEBUG $PRISM_JAVAMAXMEM $PRISM_JAVASTACKSIZE -Djava.awt.headless=$PRISM_HEADLESS -Djava.library.path="$JAVA_LIBRARY_PATH" -classpath "$PRISM_CLASSPATH" $PRISM_MAINCLASS "$@" PRISM_EXIT_CODE=$?