diff options
author | John MacFarlane <jgm@berkeley.edu> | 2021-02-18 23:22:18 -0800 |
---|---|---|
committer | John MacFarlane <jgm@berkeley.edu> | 2021-02-18 23:22:18 -0800 |
commit | b2b32d9bb2bb27b4f207db6d95938390b6ac8042 (patch) | |
tree | e509db5aee6ccbe3539b657dd944ad7ce216dfc4 /Makefile | |
parent | 98d26c234579a06446a5bef1992ed77bac48a4ac (diff) | |
download | pandoc-b2b32d9bb2bb27b4f207db6d95938390b6ac8042.tar.gz |
'make bench': Create csv files for comparison.
Diffstat (limited to 'Makefile')
-rw-r--r-- | Makefile | 3 |
1 files changed, 2 insertions, 1 deletions
@@ -2,6 +2,7 @@ version?=$(shell grep '^[Vv]ersion:' pandoc.cabal | awk '{print $$2;}') pandoc=$(shell find dist -name pandoc -type f -exec ls -t {} \; | head -1) SOURCEFILES?=$(shell git ls-tree -r master --name-only | grep "\.hs$$") BRANCH?=master +COMMIT=$(shell git rev-parse --short HEAD) GHCOPTS=-fdiagnostics-color=always WEBSITE=../../web/pandoc.org REVISION?=1 @@ -38,7 +39,7 @@ ghcid: ghcid -c "stack repl --flag 'pandoc:embed_data_files'" bench: - stack bench --benchmark-arguments='$(BENCHARGS)' --ghc-options '$(GHCOPTS)' + stack bench --benchmark-arguments='$(BENCHARGS) --csv bench-$(COMMIT).csv' --ghc-options '$(GHCOPTS)' weigh: stack build --ghc-options '$(GHCOPTS)' pandoc:weigh-pandoc && stack exec weigh-pandoc |