From 30c5001aaf19d0fc12bd4b92c831538c4c0cefa9 Mon Sep 17 00:00:00 2001 From: Dave Parker Date: Thu, 11 Jun 2015 10:05:19 +0000 Subject: [PATCH] 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 --- prism/src/bin/prism.cygwin | 2 +- prism/src/bin/prism.darwin32 | 2 +- prism/src/bin/prism.darwin64 | 2 +- prism/src/bin/prism.linux | 2 +- 4 files changed, 4 insertions(+), 4 deletions(-) diff --git a/prism/src/bin/prism.cygwin b/prism/src/bin/prism.cygwin index 6a4b54eb..c4b8c82f 100644 --- 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" diff --git a/prism/src/bin/prism.darwin32 b/prism/src/bin/prism.darwin32 index 4a75a18e..faabd4e9 100755 --- 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" diff --git a/prism/src/bin/prism.darwin64 b/prism/src/bin/prism.darwin64 index f1c173c4..ecddf04e 100755 --- 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" diff --git a/prism/src/bin/prism.linux b/prism/src/bin/prism.linux index 15887ec2..bbff65e1 100755 --- 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"