From fe39bb009f4f2c6527652112208768a45cccf4c1 Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Fri, 12 Jul 2019 09:51:24 -0700 Subject: Use -split-sections to reduce linux executable size. --- linux/Dockerfile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) (limited to 'linux') diff --git a/linux/Dockerfile b/linux/Dockerfile index c039c0ec4..a669891ac 100644 --- a/linux/Dockerfile +++ b/linux/Dockerfile @@ -15,7 +15,7 @@ CMD cabal --version && \ git checkout -b work $TREE && \ cabal new-update && \ cabal new-clean && \ - cabal new-configure --enable-tests -f-export-dynamic -fstatic -fembed_data_files -fbibutils --ghc-options '-optc-Os -optl=-pthread -optl=-static -fPIC' . pandoc-citeproc && \ + cabal new-configure --enable-tests -f-export-dynamic -fstatic -fembed_data_files -fbibutils --ghc-options '-optc-Os -optl=-pthread -optl=-static -fPIC -split-sections' . pandoc-citeproc && \ cabal new-build . pandoc-citeproc && \ cabal new-test -j1 . pandoc-citeproc && \ for f in $(find dist-newstyle -name 'pandoc*' -type f -perm +400); do cp $f /artifacts/; done && \ -- cgit v1.2.3