cycleq/cycleq.cabal at master · ec-jones/cycleq · 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
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
cabal-version:        3.0
name:                 cycleq
version:              0.1.0.0
synopsis:             A cyclic equational theorem prover
license:              MIT
license-file:         LICENSE
author:               Eddie Jones
maintainer:           eddie.c.jones@outlook.com
category:             Math

library
  exposed-modules:    CycleQ

  other-modules:      CycleQ.Equation,
                      CycleQ.Environment,
                      CycleQ.Reduction,
                      CycleQ.Edge,
                      CycleQ.Proof,
                      CycleQ.Prover

  hs-source-dirs:     src

  build-depends:      base,
                      containers,
                      mtl,
                      logict,
                      ghc,
                      template-haskell,
                      text,
                      process,
                      graphviz

  ghc-options:        -Wall
                      -Wcompat
                      -Widentities
                      -Wincomplete-uni-patterns
                      -Wincomplete-record-updates
                      -Wredundant-constraints
                      -Wmissing-export-lists
                      -Wpartial-fields
                      -Wmissing-deriving-strategies
                      -Wunused-packages

                      -Wno-unused-matches

  default-language:   Haskell2010

library cycleq-benchmarks
  exposed-modules:    IsaPlanner,
                      Mutual

  hs-source-dirs:     cycleq-benchmarks

  build-depends:      base, cycleq

  ghc-options:        -fplugin CycleQ
                      -fplugin-opt CycleQ:benchmark

  default-language:   Haskell2010

library scratch
  exposed-modules:    Scratch

  hs-source-dirs:     scratch

  build-depends:      base, cycleq

  ghc-options:        -fplugin CycleQ

  default-language:   Haskell2010