stalk/stalk.cabal at main · l-adic/stalk · 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
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
cabal-version:      2.4
name:               stalk
version:            0.1.0.0

-- A short (one-line) description of the package.
-- synopsis:

-- A longer description of the package.
-- description:

-- A URL where users can report bugs.
-- bug-reports:

-- The license under which the package is released.
-- license:
author:             Greg Pfeil
maintainer:         greg@technomadic.org

-- A copyright notice.
-- copyright:
-- category:
extra-source-files:
  CHANGELOG.md
  README.md

library
  hs-source-dirs:   src
  exposed-modules:  Stalk

  -- Modules included in this executable, other than Main.
  -- other-modules:

  -- LANGUAGE extensions used by modules in this package.
  -- other-extensions:
  build-depends:
    , base
    , categorifier-category
    , categorifier-client
    , categorifier-vec-integration
    , concat-classes
    , constraints
    , fin
    , galois-field
    , lens
    , mod
    , snarkl
    , vec

  default-language: Haskell2010
  ghc-options:      -fwarn-unused-imports -Werror

test-suite examples
  type:             exitcode-stdio-1.0
  hs-source-dirs:   examples
  main-is:          Examples.hs
  other-modules:
    Examples.Arithmetic
    Examples.Lens
    Examples.Snarkl
    Examples.SnarklUnitTests
    Examples.Stalk

  build-depends:
    , base
    , categorifier-category
    , categorifier-client
    , categorifier-concat-integration
    , categorifier-plugin
    , categorifier-vec-integration
 --   , categorifier-ghc-bignum-integration
    , concat-classes
    , galois-field
    , ghc-prim
    , hedgehog
    , lens
    , snarkl
    , stalk
    , vec
    , wl-pprint-text


  default-language: Haskell2010
  ghc-options:
    -O2 -fplugin Categorifier -fplugin-opt
    Categorifier:hierarchy:Categorifier.Hierarchy.ConCat.classHierarchy
    -fplugin-opt
    Categorifier:lookup:Categorifier.Core.MakerMap.baseSymbolLookup
    -fplugin-opt
    Categorifier:lookup:Categorifier.Vec.Integration.symbolLookup
    -fplugin-opt
    Categorifier:maker-map:Categorifier.Core.MakerMap.baseMakerMapFun
    -fplugin-opt
    Categorifier:maker-map:Categorifier.Vec.Integration.makerMapFun
    -fno-enable-rewrite-rules -fno-ignore-interface-pragmas
    -fexpose-all-unfoldings -fwarn-unused-imports