diff options
author | Andreas Fankhauser hiddenalpha.ch | 2023-02-19 17:20:30 +0100 |
---|---|---|
committer | Andreas Fankhauser hiddenalpha.ch | 2023-02-19 17:20:30 +0100 |
commit | 4015f6de5c98cab856991a05b27713af90e97e7f (patch) | |
tree | 1464d6b6fefeb7b41e78a46fcdb158c38fad6381 /contrib/build-using-docker/Dockerfile | |
parent | 9e4ff1fe33081c1a4a8639fe2e27ffc6f2d4f48a (diff) | |
download | DeflateAndInflate-4015f6de5c98cab856991a05b27713af90e97e7f.zip DeflateAndInflate-4015f6de5c98cab856991a05b27713af90e97e7f.tar.gz |
(build) Simplify build doc
- Include target tripplet into version
- Refactor docker build env by a more flexible script variant
Diffstat (limited to 'contrib/build-using-docker/Dockerfile')
-rw-r--r-- | contrib/build-using-docker/Dockerfile | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/contrib/build-using-docker/Dockerfile b/contrib/build-using-docker/Dockerfile deleted file mode 100644 index dabcf43..0000000 --- a/contrib/build-using-docker/Dockerfile +++ /dev/null @@ -1,35 +0,0 @@ - -ARG PARENT_IMAGE=alpine:3.16.0 -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 -ARG PKGADD="apk add" -ARG PKGDEL="apk del" -ARG PKGCLEAN=true - -WORKDIR /work - -RUN true \ - && $PKGINIT \ - && $PKGADD $PKGS_TO_ADD \ - && 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_OPTS && make $MAKE_OPTS && make install $MAKE_OPTS \ - && find . -not -wholename './dist*' -delete \ - && find /work -exec chown 1000:1000 {} + \ - && $PKGDEL $PKGS_TO_DEL \ - && $PKGCLEAN \ - && true - -USER 1000:1000 - -# run for max 10 hrs. Because this container is not meant to stay running -# forever. -CMD ["sleep", "36000"] - |