diff options
| author | John MacFarlane <jgm@berkeley.edu> | 2017-10-30 14:28:21 -0700 |
|---|---|---|
| committer | John MacFarlane <jgm@berkeley.edu> | 2017-10-30 14:28:21 -0700 |
| commit | bcf982c083fc32dfda0cf24ca965b71232d22f0c (patch) | |
| tree | 220775d746c9ce20a1087d1ee25db7f7c5ad4764 | |
| parent | cc7f321592a252fed56e6a08bd8284f2a18b47d6 (diff) | |
| download | pandoc-bcf982c083fc32dfda0cf24ca965b71232d22f0c.tar.gz | |
Linux package build: ensure that pandoc-citeproc is statically linked.
| -rw-r--r-- | linux/Dockerfile | 6 |
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 \ |