Add compiler timings to 'make bench'
commit78775751d900c4b1a010c85a4026b11bf3ee4f68
authorJohn MacFarlane <jgm@berkeley.edu>
dateMon 15 Mar 2021, 18:47 (6 years ago)
parent63a6059
Makefile+1−1
@@ -51,7 +51,7 @@ ghcid-test:
5151 ghcid -c "stack repl --ghc-options=-XNoImplicitPrelude --flag 'pandoc:embed_data_files' --ghci-options=-fobject-code pandoc:lib pandoc:test-pandoc"
5252
5353bench:
54− stack bench --benchmark-arguments='$(BENCHARGS) $(BASELINE) --csv bench_$(TIMESTAMP).csv' --ghc-options '$(GHCOPTS)'
54+ stack bench --benchmark-arguments='$(BENCHARGS) $(BASELINE) --csv bench_$(TIMESTAMP).csv' --ghc-options '-Rghc-timing $(GHCOPTS)'
5555
5656weigh:
5757 stack build --ghc-options '$(GHCOPTS)' pandoc:weigh-pandoc && stack exec weigh-pandoc