Make maximum heap and stack size configurable in Docker compose setup

Author: bahnwaerter

packaging/docker/Dockerfile

@@ -26,6 +26,9 @@ FROM alpine:3 AS build-products
 ARG REPO_URL="https://github.com/ultimate-pa/ultimate.git"
 ARG REPO_BRANCH="dev"
 
+ARG ULTIMATE_MEMORY_HEAP_MAX="12G"
+ARG ULTIMATE_MEMORY_STACK_MAX="512M"
+
 ARG REPO_DIR_BUILD
 ARG DIR_BUILD
 ARG DIR_ULTIMATE
@@ -43,7 +46,7 @@ RUN mkdir -p "${DIR_BUILD}" && \
 
 # build all Ultimate products
 WORKDIR "${DIR_ULTIMATE}"
-RUN cd "${DIR_OUTPUT_BUILD}" && bash makeBuild.sh -p linux
+RUN cd "${DIR_OUTPUT_BUILD}" && bash makeBuild.sh -m "${ULTIMATE_MEMORY_HEAP_MAX}" -m "${ULTIMATE_MEMORY_STACK_MAX}" -p linux
 
 #------------------------------------------------------------------------------
 # 2nd build stage: compile and build the Ultimate web interface

packaging/docker/docker-compose.yml

@@ -7,6 +7,8 @@ services:
       target: "ultimate-webbackend"
       args:
         ULTIMATE_DIR_TMP: "${ULTIMATE_DIR_TMP-/tmp/ultimate}"
+        ULTIMATE_MEMORY_HEAP_MAX: "${ULTIMATE_MEMORY_HEAP_MAX-12G}"
+        ULTIMATE_MEMORY_STACK_MAX: "${ULTIMATE_MEMORY_HEAP_MAX-512M}"
     image: "ultimate-webbackend"
     environment:
       ULTIMATE_BACKEND_HOST: "${ULTIMATE_BACKEND_HOST-localhost}"
@@ -25,6 +27,8 @@ services:
       target: "ultimate-webfrontend"
       args:
         ULTIMATE_FRONTEND_BASEURL: "${ULTIMATE_FRONTEND_ROUTE-/website}"
+        ULTIMATE_MEMORY_HEAP_MAX: "${ULTIMATE_MEMORY_HEAP_MAX-12G}"
+        ULTIMATE_MEMORY_STACK_MAX: "${ULTIMATE_MEMORY_HEAP_MAX-512M}"
     image: "ultimate-webfrontend"
     environment:
       ULTIMATE_FRONTEND_DEBUG: "${ULTIMATE_FRONTEND_DEBUG-false}"

packaging/docker/ultimate-webservice.env

@@ -22,3 +22,6 @@ ULTIMATE_LOG_LEVEL=INFO
 
 ULTIMATE_DIR_TMP=/tmp/ultimate
 ULTIMATE_TIMEOUT=90
+
+ULTIMATE_MEMORY_HEAP_MAX=12G
+ULTIMATE_MEMORY_STACK_MAX=512M