From 81168bdc6219aaf3c30064b4c8b40b2e5e72c86c Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Fri, 30 Apr 2010 15:54:41 +0000 Subject: [PATCH] Added default java memory (512MB) to run scripts. git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@1873 bbc10eb1-c90d-0410-af57-cb519fbb1720 --- prism/src/bin/prism.cygwin | 3 +++ prism/src/bin/prism.darwin | 3 +++ prism/src/bin/prism.linux | 3 +++ 3 files changed, 9 insertions(+) diff --git a/prism/src/bin/prism.cygwin b/prism/src/bin/prism.cygwin index 159723a7..363f9090 100644 --- a/prism/src/bin/prism.cygwin +++ b/prism/src/bin/prism.cygwin @@ -17,6 +17,9 @@ if [ "$PRISM_JAVAMAXMEM" != "" ]; then echo; echo "Error: Environment variable PRISM_JAVAMAXMEM is invalid."; exit fi PRISM_JAVAMAXMEM="-Xmx$PRISM_JAVAMAXMEM" +else + # default + PRISM_JAVAMAXMEM="-Xmx512m" fi # Add PRISM to PATH diff --git a/prism/src/bin/prism.darwin b/prism/src/bin/prism.darwin index 69dde357..8e3c1ecf 100755 --- a/prism/src/bin/prism.darwin +++ b/prism/src/bin/prism.darwin @@ -17,6 +17,9 @@ if [ "$PRISM_JAVAMAXMEM" != "" ]; then echo; echo "Error: Environment variable PRISM_JAVAMAXMEM is invalid."; exit fi PRISM_JAVAMAXMEM="-Xmx$PRISM_JAVAMAXMEM" +else + # default + PRISM_JAVAMAXMEM="-Xmx512m" fi # Add PRISM to DYLD_LIBRARY_PATH diff --git a/prism/src/bin/prism.linux b/prism/src/bin/prism.linux index 7062545b..b4fb240c 100755 --- a/prism/src/bin/prism.linux +++ b/prism/src/bin/prism.linux @@ -17,6 +17,9 @@ if [ "$PRISM_JAVAMAXMEM" != "" ]; then echo; echo "Error: Environment variable PRISM_JAVAMAXMEM is invalid."; exit fi PRISM_JAVAMAXMEM="-Xmx$PRISM_JAVAMAXMEM" +else + # default + PRISM_JAVAMAXMEM="-Xmx512m" fi # Add PRISM to LD_LIBRARY_PATH