CHAD/package.yaml at main · VMatthijs/CHAD · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
name:                CHAD
version:             0.1.0.0
github:              "VMatthijs/CHAD"
license:             BSD3
author:              "CHAD Contributors"
maintainer:          "Tom Smeding <tom@tomsmeding.com>, Matthijs Vákár <m.i.l.vakar@uu.nl>"
copyright:           "2021 Philip de Bruin, Pieter Knops, Danny de Jong, Tom Smeding, Matthijs Vákár"

extra-source-files:
- README.md

description:         Please see the README

dependencies:
- base >= 4.7 && < 5

ghc-options:
- -Wall

library:
  source-dirs: src
  dependencies:
  - vector-sized
  - mtl
  # - ghc-typelits-natnormalise
  - containers
  - some
  - tasty
  - tasty-quickcheck

tests:
  ad-test:
    main: test/Main.hs
    dependencies:
    - CHAD
    ghc-options:
    - -O2 -threaded -rtsopts "-with-rtsopts=-qg -N6 -A10M"