summaryrefslogtreecommitdiff
path: root/linux
diff options
context:
space:
mode:
authorJohn MacFarlane <jgm@berkeley.edu>2017-10-30 14:28:21 -0700
committerJohn MacFarlane <jgm@berkeley.edu>2017-10-30 14:28:21 -0700
commitbcf982c083fc32dfda0cf24ca965b71232d22f0c (patch)
tree220775d746c9ce20a1087d1ee25db7f7c5ad4764 /linux
parentcc7f321592a252fed56e6a08bd8284f2a18b47d6 (diff)
Linux package build: ensure that pandoc-citeproc is statically linked.
Diffstat (limited to 'linux')
-rw-r--r--linux/Dockerfile6
1 files changed, 6 insertions, 0 deletions
diff --git a/linux/Dockerfile b/linux/Dockerfile
index d2348b11d..3660aa4fc 100644
--- a/linux/Dockerfile
+++ b/linux/Dockerfile
@@ -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 \