aboutsummaryrefslogtreecommitdiff
path: root/linux/Dockerfile
blob: 075fd26c8d069761683caf766ddc25c8f094029d (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
FROM debian:jessie-slim
RUN apt-get update
RUN apt-get -y install git ca-certificates zlib1g-dev curl \
    dpkg fakeroot sed gawk grep bash xz-utils make build-essential clang \
    libgmp-dev
RUN curl -L https://www.stackage.org/stack/linux-x86_64 | tar xz --wildcards --strip-components=1 -C /usr/bin '*/stack'
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 setup
RUN stack install --stack-yaml stack.pkg.yaml --only-dependencies \
    --flag 'pandoc:embed_data_files' \
    pandoc pandoc-citeproc
CMD git pull && \
    git checkout -b work $TREE && \
    ARTIFACTS=/artifacts sh make_linux.sh