Add variable for dune-env imageand use it for build-env and prod-env

parent 58abcd50
ARG BASE_IMG_VERSION=1.2 ARG BASE_IMG_VERSION=1.2
ARG DUNE_ENV_IMAGE=dorie/dune-env:img-v${BASE_IMG_VERSION}
# start build image # start build image
FROM dorie/dune-env:img-v${BASE_IMG_VERSION} as build-env FROM ${DUNE_ENV_IMAGE} as build-env
# maintainer info # maintainer info
LABEL maintainer="lriedel@iup.uni-heidelberg.de" LABEL maintainer="lriedel@iup.uni-heidelberg.de"
......
Markdown is supported
0% or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment