opensource/pandoc
3
0
Fork 0
mirror of https://github.com/jgm/pandoc.git synced 2026-09-17 17:39:54 +08:00
Code Issues Packages Projects Releases Wiki Activity

Use -split-sections to reduce linux executable size.

Browse Source
This commit is contained in:
John MacFarlane
2019-07-12 09:51:24 -07:00
parent 6134616352
commit fe39bb009f
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
linux/Dockerfile
+1 -1
View File
@@ -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 && \