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

Makefile: improved 'make full'.

Browse Source 
- Disable optimizations.
- Build everything, inc. trypandoc and benchmarks.
- Use parallel build.
This commit is contained in:
John MacFarlane
2017-06-24 13:46:40 +02:00
parent a9259c1501
commit dd8f086a2c
1 changed files with 1 additions and 1 deletions
Download Patch File Download Diff File Expand all files Collapse all files
Makefile
+1 -1
View File
@@ -7,7 +7,7 @@ quick:
stack install --flag 'pandoc:embed_data_files' --fast --test --test-arguments='-j4 --hide-successes $(TESTARGS)'
full:
stack install --flag 'pandoc:embed_data_files' --test --test-arguments='-j4' --pedantic
stack install --flag 'pandoc:embed_data_files' --flag 'pandoc:weigh-pandoc' --flag 'pandoc:trypandoc' --bench --no-run-benchmarks --test --test-arguments='-j4 --hide-successes' --ghc-options '-Wall -Werror -fno-warn-unused-do-bind -O0 -j4'
stack haddock
# Note: to accept current results of golden tests,