summaryrefslogtreecommitdiff
path: root/linux/Dockerfile
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2017-03-19 16:24:52 +0100
committerJohn MacFarlane <jgm@berkeley.edu>2017-03-19 16:24:52 +0100
commit74fd00b5f6a776df0fd10d3f4bea58d10ae3a2a3 (patch)
treeb5281ceff47d5e7fe378bbfdb983a456f2fc6c5e /linux/Dockerfile
parent6756e23f945c7a9c685ac4e8b06eae052f52b574 (diff)
Improved linux tar.gz creation and added Dockerfile to repository.
Diffstat (limited to 'linux/Dockerfile')
-rw-r--r--linux/Dockerfile31
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