git.iko.soy/typeable/pandoc
on master help sign in
linux/Dockerfile : use default -O1 instead of -O2.
commitd7a13b4a587f56c4de7381ba556f994f6d85dba5 authorJohn MacFarlane <jgm@berkeley.edu> dateWed 30 Jan 2019, 22:54 (8 years ago) parent13c1cb8
1 file changed+1−1
linux/Dockerfile+1−1
linux/Dockerfile+1−1
@@ -16,7 +16,7 @@ CMD cabal --version && \
1616 git checkout -b work $TREE && \
1717 cabal new-update && \
1818 cabal new-clean && \
19− cabal new-configure --enable-tests -f-export-dynamic -fstatic -fembed_data_files -fbibutils --ghc-options '-O2 -optc-Os -optl=-pthread -optl=-static -fPIC' . pandoc-citeproc && \
19+ cabal new-configure --enable-tests -f-export-dynamic -fstatic -fembed_data_files -fbibutils --ghc-options '-optc-Os -optl=-pthread -optl=-static -fPIC' . pandoc-citeproc && \
2020 cabal new-build . pandoc-citeproc && \
2121 cabal new-test -j1 . pandoc-citeproc && \
2222 for f in $(find dist-newstyle -name 'pandoc*' -type f -perm +400); do cp $f /artifacts/; done && \