diff options
Diffstat (limited to 'static-linux/Dockerfile')
| -rw-r--r-- | static-linux/Dockerfile | 35 |
1 files changed, 0 insertions, 35 deletions
diff --git a/static-linux/Dockerfile b/static-linux/Dockerfile deleted file mode 100644 index c73b17622..000000000 --- a/static-linux/Dockerfile +++ /dev/null @@ -1,35 +0,0 @@ -# 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 . -CMD git pull && \ - git checkout -b work $TREE && \ - export VERSION=`grep '^Version:' pandoc.cabal | awk '{print $$2;}'` && \ - 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 && \ - cd /artifacts && \ - mkdir pandoc-$VERSION && \ - mv pandoc pandoc-citeproc pandoc-$VERSION/ && \ - tar cvzf pandoc-$VERSION.tgz pandoc-$VERSION && \ - rm -r pandoc-$VERSION |