From 4170a184797ecacc5e9dc7462eb29c313598489f Mon Sep 17 00:00:00 2001
From: John MacFarlane <jgm@berkeley.edu>
Date: Tue, 5 Sep 2017 08:36:13 -0700
Subject: Another try to get linux static linking working again.

---
 linux/Dockerfile | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'linux')

diff --git a/linux/Dockerfile b/linux/Dockerfile
index 91df3b8a2..f75db2c89 100644
--- a/linux/Dockerfile
+++ b/linux/Dockerfile
@@ -16,14 +16,14 @@ RUN git clone https://github.com/jgm/pandoc
 WORKDIR /usr/src/pandoc
 RUN stack install --stack-yaml stack.pkg.yaml --only-dependencies \
     --flag 'pandoc:embed_data_files' \
-    --ghc-options '-fPIC -fllvm' \
+    --ghc-options '-O2 -optc-Os -optl=-pthread -optl=-static -fPIC' \
     pandoc pandoc-citeproc
 CMD git pull && \
     git checkout -b work $TREE && \
     stack install --stack-yaml stack.pkg.yaml \
       --flag 'pandoc:static' \
       --flag 'pandoc:embed_data_files' \
-      --ghc-options '-O2 -optc-Os -fPIC' \
+      --ghc-options '-O2 -optc-Os -optl=-pthread -optl=-static -fPIC' \
       --local-bin-path /artifacts \
       pandoc pandoc-citeproc && \
     bash linux/make_deb.sh && \
-- 
cgit v1.2.3