Set default Java heap size to 1g (2g might be too high in some cases).

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@10183 bbc10eb1-c90d-0410-af57-cb519fbb1720
11 years ago · 3cb8db6899
4 changed files with 4 additions and 4 deletions
--- a/prism/src/bin/prism.cygwin
+++ b/prism/src/bin/prism.cygwin
@ -19,7 +19,7 @@ if [ "$PRISM_JAVAMAXMEM" != "" ]; then
 	PRISM_JAVAMAXMEM="-Xmx$PRISM_JAVAMAXMEM"
 else
 	# default
 	PRISM_JAVAMAXMEM="-Xmx2g"
 	PRISM_JAVAMAXMEM="-Xmx1g"
 fi
 PRISM_JAVASTACKSIZE="-Xss4M"
--- a/prism/src/bin/prism.darwin32
+++ b/prism/src/bin/prism.darwin32
@ -27,7 +27,7 @@ if [ "$PRISM_JAVAMAXMEM" != "" ]; then
 	PRISM_JAVAMAXMEM="-Xmx$PRISM_JAVAMAXMEM"
 else
 	# default
 	PRISM_JAVAMAXMEM="-Xmx2g"
 	PRISM_JAVAMAXMEM="-Xmx1g"
 fi
 PRISM_JAVASTACKSIZE="-Xss4M"
--- a/prism/src/bin/prism.darwin64
+++ b/prism/src/bin/prism.darwin64
@ -27,7 +27,7 @@ if [ "$PRISM_JAVAMAXMEM" != "" ]; then
 	PRISM_JAVAMAXMEM="-Xmx$PRISM_JAVAMAXMEM"
 else
 	# default
 	PRISM_JAVAMAXMEM="-Xmx2g"
 	PRISM_JAVAMAXMEM="-Xmx1g"
 fi
 PRISM_JAVASTACKSIZE="-Xss4M"
--- a/prism/src/bin/prism.linux
+++ b/prism/src/bin/prism.linux
@ -27,7 +27,7 @@ if [ "$PRISM_JAVAMAXMEM" != "" ]; then
 	PRISM_JAVAMAXMEM="-Xmx$PRISM_JAVAMAXMEM"
 else
 	# default
 	PRISM_JAVAMAXMEM="-Xmx2g"
 	PRISM_JAVAMAXMEM="-Xmx1g"
 fi
 PRISM_JAVASTACKSIZE="-Xss4M"