diff options
Diffstat (limited to 'users/glittershark/xanthous/package.yaml')
| -rw-r--r-- | users/glittershark/xanthous/package.yaml | 12 |
1 files changed, 12 insertions, 0 deletions
diff --git a/users/glittershark/xanthous/package.yaml b/users/glittershark/xanthous/package.yaml index 013c483db55a..84f84b6b0ed8 100644 --- a/users/glittershark/xanthous/package.yaml +++ b/users/glittershark/xanthous/package.yaml @@ -137,3 +137,15 @@ tests: - tasty-hunit - tasty-quickcheck - lens-properties + +benchmarks: + benchmark: + main: Bench.hs + source-dirs: bench + ghc-options: + - -threaded + - -rtsopts + - -with-rtsopts=-N + dependencies: + - xanthous + - criterion |