diff options
Diffstat (limited to 'static-linux/Dockerfile')
| -rw-r--r-- | static-linux/Dockerfile | 18 |
1 files changed, 18 insertions, 0 deletions
diff --git a/static-linux/Dockerfile b/static-linux/Dockerfile new file mode 100644 index 000000000..3c62ebcf9 --- /dev/null +++ b/static-linux/Dockerfile @@ -0,0 +1,18 @@ +# USE ALPINE LINUX +FROM alpine:edge +RUN apk update +# INSTALL BASIC DEV TOOLS, GHC, GMP & ZLIB +RUN echo "https://s3-us-west-2.amazonaws.com/alpine-ghc/8.0" >> /etc/apk/repositories +ADD https://raw.githubusercontent.com/mitchty/alpine-ghc/master/mitch.tishmack%40gmail.com-55881c97.rsa.pub \ + /etc/apk/keys/mitch.tishmack@gmail.com-55881c97.rsa.pub +RUN apk update +RUN apk add alpine-sdk git ca-certificates ghc cabal stack zlib-dev +RUN stack update +RUN stack config set system-ghc --global true +ADD ./ /usr/src/ +WORKDIR /usr/src/ +RUN git clone https://github.com/jgm/pandoc +WORKDIR /usr/src/pandoc +CMD git pull +CMD stack install --local-bin-path /usr/bin hsb2hs +CMD stack install --local-bin-path /artifacts --flag 'pandoc:embed_data_files' --test --ghc-options '-optl-static -fPIC' |