Increase the default Java max memory (from to 512m to 2g) - should be ok these days.

git-svn-id: https://www.prismmodelchecker.org/svn/prism/prism/trunk@9993 bbc10eb1-c90d-0410-af57-cb519fbb1720
11 years ago · 30c5001aaf
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="-Xmx512m"
+	PRISM_JAVAMAXMEM="-Xmx2g"
 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="-Xmx512m"
+	PRISM_JAVAMAXMEM="-Xmx2g"
 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="-Xmx512m"
+	PRISM_JAVAMAXMEM="-Xmx2g"
 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="-Xmx512m"
+	PRISM_JAVAMAXMEM="-Xmx2g"
 fi
 PRISM_JAVASTACKSIZE="-Xss4M"