@@ -15,7 +15,11 @@ WORKDIR /usr/src/
1515RUN git clone https://github.com/jgm/pandoc
1616WORKDIR /usr/src/pandoc
1717RUN stack install --stack-yaml stack.pkg.yaml --only-dependencies \
18+ --flag 'pandoc:static' \
1819 --flag 'pandoc:embed_data_files' \
20+ --flag 'pandoc-citeproc:static' \
21+ --flag 'pandoc-citeproc:embed_data_files' \
22+ --flag 'hslua:-export-dynamic' \
1923 --ghc-options '-O2 -optc-Os -optl=-pthread -optl=-static -fPIC' \
2024 pandoc pandoc-citeproc
2125CMD git pull && \
@@ -23,6 +27,8 @@ CMD git pull && \
2327 stack install --stack-yaml stack.pkg.yaml \
2428 --flag 'pandoc:static' \
2529 --flag 'pandoc:embed_data_files' \
30+ --flag 'pandoc-citeproc:static' \
31+ --flag 'pandoc-citeproc:embed_data_files' \
2632 --flag 'hslua:-export-dynamic' \
2733 --ghc-options '-O2 -optc-Os -optl=-pthread -optl=-static -fPIC' \
2834 --local-bin-path /artifacts \