linux/Dockerfile : use default -O1 instead of -O2.

This commit is contained in:
John MacFarlane 2019-01-30 22:54:08 -08:00
parent 13c1cb82b6
commit d7a13b4a58

View file

@ -16,7 +16,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 '-O2 -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' . 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 && \