Ticket #39793: sbt.diff

sbt

@@ -17 +17 @@
 # Is the location of the SBT launcher JAR file.
 LAUNCHJAR="/opt/local/share/sbt/sbt-launch.jar"
 
+# Customisation: this should define a variable SBT_JAVA_OPTS
+SBTCONF=~/.sbtconfig
+if [ -f ${SBTCONF} ]; then
+    . ${SBTCONF}
+fi
+
 # Ensure enough heap space is created for sbt.  These settings are the
 # default settings from Typesafe's sbt wrapper.
-if [ -z "$JAVA_OPTS" ]; then
-    JAVA_OPTS="-XX:+CMSClassUnloadingEnabled -Xms1536m -Xmx1536m -XX:MaxPermSize=384m -XX:ReservedCodeCacheSize=192m -Dfile.encoding=UTF8"
+if [ -z "$SBT_JAVA_OPTS" ]; then
+    SBT_JAVA_OPTS="-XX:+CMSClassUnloadingEnabled -Xms1536m -Xmx1536m -XX:MaxPermSize=384m -XX:ReservedCodeCacheSize=192m -Dfile.encoding=UTF8"
 fi
 
 # Assume java is already in the shell path.
-exec java $JAVA_OPTS -jar "$LAUNCHJAR" "$@"
+exec java ${SBT_JAVA_OPTS} -jar "$LAUNCHJAR" "$@"