From 15c43488e62dbf80c7e232e0fa59da73df36218c Mon Sep 17 00:00:00 2001 From: Lennart Kramer <lennart.kramer@stud.uni-goettingen.de> Date: Wed, 1 Jul 2020 18:21:14 +0200 Subject: [PATCH] Add exception for 2017121800 --- Dockerfile | 3 +++ buildimage.sh | 6 +++++- 2 files changed, 8 insertions(+), 1 deletion(-) diff --git a/Dockerfile b/Dockerfile index 3310c58..645d3c0 100644 --- a/Dockerfile +++ b/Dockerfile @@ -93,5 +93,8 @@ RUN for i in $(seq 16); do \ # Add go webserver COPY ./bin/web ${BIN}/goweb +ARG LIB_PATH='' +ENV GOEMAXIMA_LIB_PATH=$LIB_PATH + CMD rm /dev/tty && cd /tmp && rm --one-file-system -rf * && exec tini ${BIN}/goweb ${BIN}/maxima-optimised diff --git a/buildimage.sh b/buildimage.sh index 2a72cb2..c93a033 100755 --- a/buildimage.sh +++ b/buildimage.sh @@ -14,7 +14,11 @@ IMAGENAME="$5/goemaxima:$3" # check if the image already exists on the server docker pull "${IMAGENAME}" # build it -docker build -t "${IMAGENAME}" --build-arg MAXIMA_VERSION="$2" --build-arg SBCL_VERSION="$1" --build-arg LIB_PATH="$4" . || exit 1 +if [ "$stack" = "2017121800" ]; then + docker build -t "${IMAGENAME}" --build-arg MAXIMA_VERSION="$2" --build-arg SBCL_VERSION="$1" --build-arg LIB_PATH="$4" --build-arg "/opt/maxima/assets/maximalocal.mac" . || exit 1 +else + docker build -t "${IMAGENAME}" --build-arg MAXIMA_VERSION="$2" --build-arg SBCL_VERSION="$1" --build-arg LIB_PATH="$4" . || exit 1 +fi echo "${IMAGENAME} wurde erfolgreich gebaut." # testing? # push it -- GitLab