diff options
| -rw-r--r-- | Makefile | 3 | ||||
| -rw-r--r-- | pandoc.cabal | 2 | ||||
| -rw-r--r-- | stack.yaml | 2 |
3 files changed, 4 insertions, 3 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 diff --git a/pandoc.cabal b/pandoc.cabal index ae4e8b341..30226f445 100644 --- a/pandoc.cabal +++ b/pandoc.cabal @@ -827,6 +827,6 @@ benchmark benchmark-pandoc build-depends: bytestring, containers, tasty, - tasty-bench >= 0.1 && <= 0.2, + tasty-bench >= 0.2 && <= 0.3, mtl >= 2.2 && < 2.3, time diff --git a/stack.yaml b/stack.yaml index dcb1c9742..4af76f19e 100644 --- a/stack.yaml +++ b/stack.yaml @@ -11,7 +11,7 @@ extra-deps: - commonmark-0.1.1.4 - commonmark-extensions-0.2.0.4 - commonmark-pandoc-0.2.0.1 -- tasty-bench-0.1 +- tasty-bench-0.2.1 - citeproc-0.3.0.7 #- citeproc: # git: https://github.com/jgm/citeproc.git |