forked from IntersectMBO/cardano-ledger
-
Notifications
You must be signed in to change notification settings - Fork 0
/
cabal.project
97 lines (83 loc) · 2.7 KB
/
cabal.project
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
96
97
-- Custom repository for cardano haskell packages, see CONTRIBUTING for more
repository cardano-haskell-packages
url: https://chap.intersectmbo.org/
secure: True
root-keys:
3e0cce471cf09815f930210f7827266fd09045445d65923e6d0238a6cd15126f
443abb7fb497a134c343faf52f0b659bd7999bc06b7f63fa76dc99d631f9bea1
a86a1f6ce86c449c46666bda44268677abf29b5b2d2eb5ec7af903ec2f117a82
bcec67e8e99cabfa7764d75ad9b158d72bfacf70ca1d0ec8bc6b4406d1bf8413
c00aae8461a256275598500ea0e187588c35a5d5d7454fb57eac18d9edb86a56
d4a35cd3121aa00d18544bb0ac01c3e1691d618f462c46129271bccf39f7e8ee
source-repository-package
type: git
location: https://github.com/input-output-hk/cardano-ledger-executable-spec.git
tag: ddfb7f4a311dcc52971b3bb847ba52b68d0b0a3f
--sha256: sha256-dQVyvzVhVUOsLUuX8XQvN/wPGmbIvYeAmX7RpnT1gk8=
index-state:
-- Bump this if you need newer packages from Hackage
, hackage.haskell.org 2024-01-04T21:59:02Z
-- Bump this if you need newer packages from CHaP
, cardano-haskell-packages 2024-02-15T21:00:00Z
packages:
eras/allegra/impl
eras/alonzo/impl
eras/alonzo/test-suite
eras/babbage/impl
eras/babbage/test-suite
eras/conway/impl
eras/conway/test-suite
eras/mary/impl
eras/shelley/impl
eras/shelley/test-suite
eras/shelley-ma/test-suite
libs/cardano-ledger-api
libs/cardano-ledger-core
libs/cardano-ledger-binary
libs/cardano-protocol-tpraos
libs/non-integral
libs/small-steps
libs/small-steps-test
libs/cardano-data
libs/set-algebra
libs/vector-map
-- == Byron era ==
-- byron-spec-chain:
eras/byron/chain/executable-spec
-- byron-spec-ledger:
eras/byron/ledger/executable-spec
-- cardano-ledger-byron:
eras/byron/ledger/impl
-- cardano-ledger-byron-test:
eras/byron/ledger/impl/test
-- cardano-crypto-wrapper:
eras/byron/crypto
-- cardano-crypto-test:
eras/byron/crypto/test
-- Packages used during development and are not released to CHaPs:
libs/cardano-ledger-conformance
libs/cardano-ledger-test
libs/plutus-preprocessor
libs/ledger-state
libs/constrained-generators
-- GHC 9.8 introduces new warnings on partial functions.
if impl(ghc < 9.8)
program-options
ghc-options: -Werror
package plutus-preprocessor
haddock-options: "--optghc=-fplugin-opt PlutusTx.Plugin:defer-errors"
package cardano-ledger-core
flags: +asserts
package cardano-ledger-shelley
flags: +asserts
package cardano-ledger-mary
flags: +asserts
package cardano-ledger-conway
flags: +asserts
-- Always write GHC env files, because they are needed for repl and by the doctests.
write-ghc-environment-files: always
-- Always build tests and benchmarks.
tests: true
benchmarks: true
-- The only sensible test display option
test-show-details: streaming