-
Notifications
You must be signed in to change notification settings - Fork 155
/
cardano-ledger-conformance.cabal
82 lines (72 loc) · 2.46 KB
/
cardano-ledger-conformance.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
cabal-version: 3.0
name: cardano-ledger-conformance
version: 0.1.0.0
license: Apache-2.0
maintainer: operations@iohk.io
author: IOHK
bug-reports: https://github.com/intersectmbo/cardano-ledger/issues
synopsis: Testing utilities for conformance testing
description: Testing utilities for conformance testing
build-type: Simple
source-repository head
type: git
location: https://github.com/intersectmbo/cardano-ledger
subdir: libs/cardano-ledger-conformance
flag asserts
description: Enable assertions
default: False
library
exposed-modules:
Test.Cardano.Ledger.Conformance
Test.Cardano.Ledger.Conformance.Spec.Conway
hs-source-dirs: src
other-modules:
Test.Cardano.Ledger.Conformance.Orphans
Test.Cardano.Ledger.Conformance.SpecTranslate.Core
Test.Cardano.Ledger.Conformance.SpecTranslate.Conway
Test.Cardano.Ledger.Conformance.ExecSpecRule.Core
Test.Cardano.Ledger.Conformance.ExecSpecRule.Conway
default-language: Haskell2010
ghc-options:
-Wall -Wcompat -Wincomplete-record-updates
-Wincomplete-uni-patterns -Wredundant-constraints -Wpartial-fields
-Wunused-packages
build-depends:
base >=4.14 && <5,
cardano-data,
cardano-strict-containers,
data-default-class,
microlens,
mtl,
cardano-ledger-binary,
cardano-ledger-core,
cardano-ledger-shelley:{cardano-ledger-shelley, testlib},
cardano-ledger-alonzo,
cardano-ledger-babbage,
cardano-ledger-conway:{cardano-ledger-conway, testlib},
cardano-ledger-executable-spec,
cardano-crypto-class,
cardano-ledger-core:testlib,
cardano-ledger-test,
containers,
constrained-generators,
deepseq,
small-steps >=1.1,
text
if !impl(ghc >=9.2)
ghc-options: -Wno-incomplete-patterns
if flag(asserts)
ghc-options: -fno-ignore-asserts
test-suite tests
type: exitcode-stdio-1.0
main-is: Main.hs
hs-source-dirs: test
default-language: Haskell2010
ghc-options:
-Wall -Wcompat -Wincomplete-record-updates
-Wincomplete-uni-patterns -Wredundant-constraints -Wpartial-fields
-Wunused-packages -threaded -rtsopts -with-rtsopts=-N
build-depends:
base >=4.14 && <5,
cardano-ledger-conformance,
cardano-ledger-core:testlib