git.iko.soy/typeable/pandoc
on master help sign in
Another try to get linux static linking working again.
commit4170a184797ecacc5e9dc7462eb29c313598489f authorJohn MacFarlane <jgm@berkeley.edu> dateTue 5 Sep 2017, 08:36 (9 years ago) parent9fdc089
1 file changed+2−2
compare with master
unifiedsplit
linux/Dockerfile+2−2
linux/Dockerfile+2−2
@@ -16,14 +16,14 @@ RUN git clone https://github.com/jgm/pandoc
1616WORKDIR /usr/src/pandoc
1717RUN stack install --stack-yaml stack.pkg.yaml --only-dependencies \
1818 --flag 'pandoc:embed_data_files' \
19− --ghc-options '-fPIC -fllvm' \
19+ --ghc-options '-O2 -optc-Os -optl=-pthread -optl=-static -fPIC' \
2020 pandoc pandoc-citeproc
2121CMD git pull && \
2222 git checkout -b work $TREE && \
2323 stack install --stack-yaml stack.pkg.yaml \
2424 --flag 'pandoc:static' \
2525 --flag 'pandoc:embed_data_files' \
26− --ghc-options '-O2 -optc-Os -fPIC' \
26+ --ghc-options '-O2 -optc-Os -optl=-pthread -optl=-static -fPIC' \
2727 --local-bin-path /artifacts \
2828 pandoc pandoc-citeproc && \
2929 bash linux/make_deb.sh && \