Makefile: improved 'make full'.
- Disable optimizations.
- Build everything, inc. trypandoc and benchmarks.
- Use parallel build.
commitdd8f086a2c56b7ee98d7721c3dca7f9ae1f19948
authorJohn MacFarlane <jgm@berkeley.edu>
dateSat 24 Jun 2017, 13:46 (9 years ago)
parenta9259c1
Makefile+1−1
@@ -7,7 +7,7 @@ quick:
77 stack install --flag 'pandoc:embed_data_files' --fast --test --test-arguments='-j4 --hide-successes $(TESTARGS)'
88
99full:
10− stack install --flag 'pandoc:embed_data_files' --test --test-arguments='-j4' --pedantic
10+ 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'
1111 stack haddock
1212
1313# Note: to accept current results of golden tests,