chad-fast.cabal


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
38
39
40
41
42
43
44
45
46
47
48
49
50
51

cabal-version:       2.2
name:                chad-fast
synopsis:            Fast CHAD
version:             0.1.0.0
license:             BSD-3-Clause
license-file:        LICENSE
author:              Tom Smeding
maintainer:          tom@tomsmeding.com
build-type:          Simple

library
  exposed-modules:
    Array
    AST
    AST.Count
    AST.Env
    AST.Pretty
    AST.Types
    AST.Weaken
    AST.Weaken.Auto
    CHAD
    CHAD.Types
    -- Compile
    Data
    Example
    ForwardAD
    Interpreter
    -- Interpreter.AccumOld
    Interpreter.Rep
    Language
    Language.AST
    Lemmas
    -- PreludeCu
    Simplify
  other-modules:
  build-depends:
    base >= 4.19 && < 4.21,
    containers,
    -- template-haskell,
    transformers,
    vector,
  hs-source-dirs: src
  default-language: Haskell2010
  ghc-options: -Wall

test-suite example
  type: exitcode-stdio-1.0
  main-is: test/example/Main.hs
  build-depends: base, chad-fast
  default-language: Haskell2010
  ghc-options: -Wall -threaded