diff options
Diffstat (limited to 'linux')
| -rw-r--r-- | linux/Dockerfile | 25 |
1 files changed, 16 insertions, 9 deletions
diff --git a/linux/Dockerfile b/linux/Dockerfile index ca48d07f8..f577d8765 100644 --- a/linux/Dockerfile +++ b/linux/Dockerfile @@ -1,14 +1,21 @@ # USE ALPINE LINUX -FROM alpine:3.10 -RUN apk update -RUN apk add alpine-sdk git ca-certificates ghc gmp-dev zlib-dev bash dpkg fakeroot cabal -RUN mkdir -p /usr/src/ -WORKDIR /usr/src/ -RUN git clone https://github.com/jgm/pandoc +FROM alpine:3.11 +RUN apk --no-cache add \ + alpine-sdk \ + bash \ + ca-certificates \ + cabal \ + dpkg \ + fakeroot \ + ghc \ + git \ + gmp-dev \ + xz \ + zlib-dev \ + zlib-static +RUN mkdir -p /usr/src/ && \ + git clone https://github.com/jgm/pandoc /usr/src/pandoc WORKDIR /usr/src/pandoc -RUN cabal update && \ - cabal install cabal-install-2.4.0.0 && \ - cp $HOME/.cabal/bin/cabal /usr/bin/ CMD cabal --version && \ ghc --version && \ git pull && \ |