-
Notifications
You must be signed in to change notification settings - Fork 4
/
Copy pathcircuit-synthesis.cabal
82 lines (78 loc) · 2.72 KB
/
circuit-synthesis.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
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
name: circuit-synthesis
version: 0.1.0.0
license: MIT
license-file: LICENSE
author: Brent Carmer
maintainer: [email protected]
category: Cryptography
build-type: Simple
extra-source-files: Readme.md
cabal-version: >=1.10
library
default-language: Haskell2010
hs-source-dirs: src
exposed-modules: Circuit
, Circuit.Builder
, Circuit.Builder.Internals
, Circuit.Conversion
, Circuit.Optimizer
, Circuit.Parser
, Circuit.Types
, Circuit.Utils
, Circuit.Format.Acirc
, Circuit.Format.Acirc2
, Circuit.Format.Bench
, Circuit.Format.Circ
, Circuit.Format.Graphviz
, Circuit.Format.Netlist
, Circuit.Format.Nigel
, Circuit.Format.Sexp
, Examples.AES
, Examples.ApplebaumRaykov
, Examples.Comparison
, Examples.DNF
, Examples.Goldreich
, Examples.GGM
, Examples.Point
, Examples.Simple
, Examples.Substring
build-depends:
DRBG ,
base ,
ghc-prim ,
integer-gmp ,
bytestring ,
array ,
containers ,
crypto-api ,
binary ,
directory ,
filepath ,
mtl ,
parsec ,
text ,
process ,
formatting ,
microlens-platform ,
vector ,
monad-loops ,
optparse-applicative ,
text-show ,
wl-pprint-text ,
split ,
transformers
default-extensions: DoAndIfThenElse
ghc-options: -O2 -fwarn-unused-imports -freverse-errors
executable cxs
default-language: Haskell2010
hs-source-dirs: apps/cxs
main-is: CXS.hs
build-depends: base
, circuit-synthesis
, containers
, filepath
, microlens-platform
, optparse-applicative
, text
, split
ghc-options: -O2 -freverse-errors