diff options
author | John MacFarlane <jgm@berkeley.edu> | 2021-01-30 18:01:14 -0800 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2021-01-30 18:01:14 -0800 |
commit | fe06437ba4ef12782078ac05c6f9c917f32d51f0 (patch) | |
tree | ac094e01e627f48b3356daad71a7bff363f9c0bb /Makefile | |
parent | a6c7469c85a6239c0148b3dab0b6bb52ce1fe85d (diff) | |
download | pandoc-fe06437ba4ef12782078ac05c6f9c917f32d51f0.tar.gz |
Use tasty-bench instead of criterion for benchmarks.
It is much lighter-weight.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 1 |
1 files changed, 1 insertions, 0 deletions
@@ -6,6 +6,7 @@ RESOLVER?=lts-13 GHCOPTS=-fdiagnostics-color=always WEBSITE=../../web/pandoc.org REVISION?=1 +BENCHARGS?="--timeout=6" quick: 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)' |