diff options
Diffstat (limited to 'linux/Dockerfile')
| -rw-r--r-- | linux/Dockerfile | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/linux/Dockerfile b/linux/Dockerfile new file mode 100644 index 000000000..0a9cc710d --- /dev/null +++ b/linux/Dockerfile @@ -0,0 +1,31 @@ +# USE ALPINE LINUX +FROM alpine:edge +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 \ + dpkg fakeroot sed gawk grep +RUN stack update +RUN stack config set system-ghc --global true +RUN mkdir -p /etc/stack +RUN echo "build: { split-objs: true }" > /etc/stack/config.yaml +RUN mkdir -p /usr/src/ +WORKDIR /usr/src/ +RUN git clone https://github.com/jgm/pandoc +WORKDIR /usr/src/pandoc +RUN stack install --local-bin-path /usr/bin hsb2hs +RUN stack install --stack-yaml stack.pkg.yaml --only-dependencies \ + --flag 'pandoc:embed_data_files' \ + --test --ghc-options '-O2 -optc-Os -optl-static -fPIC' \ + pandoc pandoc-citeproc +COPY make_deb.sh . +COPY make_tarball.sh . +CMD git pull && \ + git checkout -b work $TREE && \ + stack install --stack-yaml stack.pkg.yaml \ + --local-bin-path /artifacts --flag 'pandoc:embed_data_files' \ + --test --ghc-options '-O2 -optc-Os -optl-static -fPIC' \ + pandoc pandoc-citeproc && \ + bash make_deb.sh && \ + bash make_tarball.sh |