@@ -19,13 +19,11 @@ RUN stack install --stack-yaml stack.pkg.yaml --only-dependencies \
19 --flag 'pandoc:embed_data_files' \
19 --flag 'pandoc:embed_data_files' \
20 --test --ghc-options '-O2 -optc-Os -optl-static -fPIC' \
20 --test --ghc-options '-O2 -optc-Os -optl-static -fPIC' \
21 pandoc pandoc-citeproc
21 pandoc pandoc-citeproc
23−COPY make_tarball.sh .
24CMD git pull && \
22CMD git pull && \
25 git checkout -b work $TREE && \
23 git checkout -b work $TREE && \
26 stack install --stack-yaml stack.pkg.yaml \
24 stack install --stack-yaml stack.pkg.yaml \
27 --local-bin-path /artifacts --flag 'pandoc:embed_data_files' \
25 --local-bin-path /artifacts --flag 'pandoc:embed_data_files' \
28 --test --ghc-options '-O2 -optc-Os -optl-static -fPIC' \
26 --test --ghc-options '-O2 -optc-Os -optl-static -fPIC' \
29 pandoc pandoc-citeproc && \
27 pandoc pandoc-citeproc && \
30− bash make_deb.sh && \
28+ bash linux/make_deb.sh && \
31− bash make_tarball.sh
29+ bash linux/make_tarball.sh