aboutsummaryrefslogtreecommitdiff
path: root/Makefile
diff options
context:
space:
mode:
Diffstat (limited to 'Makefile')
-rw-r--r--Makefile4
1 files changed, 2 insertions, 2 deletions
diff --git a/Makefile b/Makefile
index 5e5bc7c51..ced5baf9f 100644
--- a/Makefile
+++ b/Makefile
@@ -26,7 +26,7 @@ quick:
quick-cabal:
cabal new-configure . --ghc-options '$(GHCOPTS)' --disable-optimization --enable-tests
- cabal new-build . --disable-optimization
+ cabal new-build -j4 . --disable-optimization
cabal new-run test-pandoc --disable-optimization -- --hide-successes $(TESTARGS)
full-cabal:
@@ -35,7 +35,7 @@ full-cabal:
cabal new-run test-pandoc --disable-optimization -- --hide-successes $(TESTARGS)
full:
- stack install --flag 'pandoc:embed_data_files' --flag 'pandoc:trypandoc' --bench --no-run-benchmarks --test --test-arguments='-j4 --hide-successes' --ghc-options '-Wall -Werror -fno-warn-unused-do-bind -O0 -j4 $(GHCOPTS)'
+ stack install --flag 'pandoc:embed_data_files' --flag 'pandoc:trypandoc' --bench --no-run-benchmarks --test --test-arguments='-j4 --hide-successes' --ghc-options '-Wall -Werror -fno-warn-unused-do-bind -O0 $(GHCOPTS)'
ghci:
stack ghci --flag 'pandoc:embed_data_files'