-
Notifications
You must be signed in to change notification settings - Fork 0
/
zkfold-ethereum.cabal
79 lines (72 loc) · 2.19 KB
/
zkfold-ethereum.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
cabal-version: 3.0
name: zkfold-ethereum
version: 0.1.0.0
category: Testing, Cryptography, Math, Symbolic Computation
author: Vladimir Sinyakov, Ilya Baryshnikov
maintainer: [email protected]
license: MIT
build-type: Simple
common lang
ghc-options:
-Wall
-Wnoncanonical-monad-instances
-Wincomplete-uni-patterns
-Wincomplete-record-updates
-Wredundant-constraints
-Widentities
-- -Wunused-packages
-Wmissing-deriving-strategies
library src
import: lang
default-language: GHC2021
ghc-options: -rtsopts
main-is: Main.hs
hs-source-dirs: backends/src
build-depends:
aeson ,
base >= 4.9 && < 5,
bytestring ,
cborg ,
directory ,
zkfold-base ,
QuickCheck ,
executable circuit
import: lang
default-language: GHC2021
ghc-options: -rtsopts
main-is: Main.hs
hs-source-dirs: backends/circuit
build-depends:
aeson ,
base >= 4.9 && < 5,
bytestring ,
cborg ,
directory ,
zkfold-base ,
QuickCheck ,
executable prover
import: lang
default-language: GHC2021
ghc-options: -rtsopts
main-is: Main.hs
hs-source-dirs: backends/prover
build-depends:
aeson ,
base >= 4.9 && < 5,
bytestring ,
directory ,
zkfold-base ,
QuickCheck ,
executable setup
import: lang
default-language: GHC2021
ghc-options: -rtsopts
main-is: Main.hs
hs-source-dirs: backends/setup
build-depends:
aeson ,
base >= 4.9 && < 5,
bytestring ,
directory ,
zkfold-base ,
QuickCheck ,