From dd8f086a2c56b7ee98d7721c3dca7f9ae1f19948 Mon Sep 17 00:00:00 2001 From: John MacFarlane Date: Sat, 24 Jun 2017 13:46:40 +0200 Subject: [PATCH] Makefile: improved 'make full'. - Disable optimizations. - Build everything, inc. trypandoc and benchmarks. - Use parallel build. --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index bd1ec4df5..470c87793 100644 --- a/Makefile +++ b/Makefile @@ -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,