make quick: use -j4 to speed up build
commitd0af5795f1de5a75028d48b2d48105d435cbbac3
authorJohn MacFarlane <jgm@berkeley.edu>
dateTue 16 Mar 2021, 10:02 (6 years ago)
parentafa801e
Makefile+1−1
@@ -18,7 +18,7 @@ REVISION?=1
1818BENCHARGS?=--timeout=6 +RTS -T -RTS $(if $(PATTERN),--pattern "$(PATTERN)",)
1919
2020quick:
21− stack install --ghc-options='$(GHCOPTS)' --install-ghc --flag 'pandoc:embed_data_files' --fast --test --ghc-options='-j +RTS -A64m -RTS' --test-arguments='-j4 --hide-successes $(TESTARGS)'
21+ stack install --ghc-options='$(GHCOPTS)' --install-ghc --flag 'pandoc:embed_data_files' --fast --test --ghc-options='-j4 +RTS -A256m -RTS' --test-arguments='-j4 --hide-successes $(TESTARGS)'
2222
2323quick-cabal:
2424 cabal new-configure . --ghc-options '$(GHCOPTS)' --disable-optimization --enable-tests