diff options
author | Andreas Fankhauser hiddenalpha.ch | 2022-08-20 16:48:29 +0200 |
---|---|---|
committer | Andreas Fankhauser hiddenalpha.ch | 2022-08-20 16:48:29 +0200 |
commit | d6f8e794f77074eb76a1efbfc7f69d488f387950 (patch) | |
tree | 033a7d61b511bfbd9abdc73b8468cda71c480424 /contrib/build-using-docker/Dockerfile | |
parent | 55ef6724c71a933c3f625bc2d2df164de20b57f6 (diff) | |
download | DeflateAndInflate-d6f8e794f77074eb76a1efbfc7f69d488f387950.zip DeflateAndInflate-d6f8e794f77074eb76a1efbfc7f69d488f387950.tar.gz |
Add MAKE_OPTS in Dockerfile
Diffstat (limited to 'contrib/build-using-docker/Dockerfile')
-rw-r--r-- | contrib/build-using-docker/Dockerfile | 3 |
1 files changed, 2 insertions, 1 deletions
diff --git a/contrib/build-using-docker/Dockerfile b/contrib/build-using-docker/Dockerfile index 1e0f89a..dabcf43 100644 --- a/contrib/build-using-docker/Dockerfile +++ b/contrib/build-using-docker/Dockerfile @@ -4,6 +4,7 @@ FROM $PARENT_IMAGE ARG GIT_TAG= ARG CONFIGURE_OPTS= +ARG MAKE_OPTS= ARG PKGS_TO_ADD="curl gcc git make musl-dev tar zlib-dev" ARG PKGS_TO_DEL="curl gcc git make musl-dev tar zlib-dev" ARG PKGINIT=true @@ -19,7 +20,7 @@ RUN true \ && BR=$(if test -n "$GIT_TAG"; then echo " --branch $GIT_TAG"; else echo ""; fi) \ && git clone --depth 42 $BR https://github.com/hiddenalpha/DeflateAndInflate.git . \ && ./configure $CONFIGURE_OPTS \ - && make clean && make && make install \ + && make clean $MAKE_OPTS && make $MAKE_OPTS && make install $MAKE_OPTS \ && find . -not -wholename './dist*' -delete \ && find /work -exec chown 1000:1000 {} + \ && $PKGDEL $PKGS_TO_DEL \ |