lee/pandoc
1
0
Fork 0
mirror of https://github.com/jgm/pandoc.git synced 2026-08-24 01:06:30 +00:00
Code Issues Packages Projects Releases Wiki Activity

Linux package build: ensure that pandoc-citeproc is statically linked.

Browse Source
This commit is contained in:
John MacFarlane
2017-10-30 14:28:21 -07:00
parent cc7f321592
commit bcf982c083
1 changed files with 6 additions and 0 deletions
Download Patch File Download Diff File Expand all files Collapse all files
linux/Dockerfile
+6
View File
@@ -15,7 +15,11 @@ WORKDIR /usr/src/
RUN git clone https://github.com/jgm/pandoc
WORKDIR /usr/src/pandoc
RUN stack install --stack-yaml stack.pkg.yaml --only-dependencies \
--flag 'pandoc:static' \
--flag 'pandoc:embed_data_files' \
--flag 'pandoc-citeproc:static' \
--flag 'pandoc-citeproc:embed_data_files' \
--flag 'hslua:-export-dynamic' \
--ghc-options '-O2 -optc-Os -optl=-pthread -optl=-static -fPIC' \
pandoc pandoc-citeproc
CMD git pull && \
@@ -23,6 +27,8 @@ CMD git pull && \
stack install --stack-yaml stack.pkg.yaml \
--flag 'pandoc:static' \
--flag 'pandoc:embed_data_files' \
--flag 'pandoc-citeproc:static' \
--flag 'pandoc-citeproc:embed_data_files' \
--flag 'hslua:-export-dynamic' \
--ghc-options '-O2 -optc-Os -optl=-pthread -optl=-static -fPIC' \
--local-bin-path /artifacts \