-
Notifications
You must be signed in to change notification settings - Fork 11
/
cabal.project
70 lines (59 loc) · 2.23 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
packages:
.
package cooked-validators
coverage: True
library-coverage: True
package cardano-crypto-praos
flags: -external-libsodium-vrf
source-repository-package
type: git
location: https://github.com/IntersectMBO/cardano-node-emulator/
tag: 3bdb1f2a578226c1aa39fe09b8fb13e3a0be6d6a
subdir:
cardano-node-emulator
plutus-ledger
plutus-script-utils
freer-extras
-- Everything below this point has been copied from cardano-node-emulator cabal.project
-- Custom repository for cardano haskell packages
-- See https://github.com/input-output-hk/cardano-haskell-packages on how to use CHaP in a Haskell project.
repository cardano-haskell-packages
url: https://chap.intersectmbo.org/
secure: True
root-keys:
3e0cce471cf09815f930210f7827266fd09045445d65923e6d0238a6cd15126f
443abb7fb497a134c343faf52f0b659bd7999bc06b7f63fa76dc99d631f9bea1
a86a1f6ce86c449c46666bda44268677abf29b5b2d2eb5ec7af903ec2f117a82
bcec67e8e99cabfa7764d75ad9b158d72bfacf70ca1d0ec8bc6b4406d1bf8413
c00aae8461a256275598500ea0e187588c35a5d5d7454fb57eac18d9edb86a56
d4a35cd3121aa00d18544bb0ac01c3e1691d618f462c46129271bccf39f7e8ee
-- See CONTRIBUTING.adoc for how to update index-state
index-state:
, hackage.haskell.org 2024-06-12T10:10:17Z
, cardano-haskell-packages 2024-06-12T10:10:17Z
-- We never, ever, want this.
write-ghc-environment-files: never
-- The only sensible test display option, since it allows us to have colourized
-- 'tasty' output.
test-show-details: direct
-- These packages appear in our dependency tree and are very slow to build.
-- Empirically, turning off optimization shaves off ~50% build time.
-- It also mildly improves recompilation avoidance.
-- For dev work we don't care about performance so much, so this is okay.
package cardano-ledger-alonzo
optimization: False
package ouroboros-consensus-cardano
optimization: False
package cardano-api
optimization: False
package cardano-crypto-praos
flags: -external-libsodium-vrf
constraints:
cardano-api ^>= 8.46
source-repository-package
type: git
location: https://github.com/input-output-hk/quickcheck-contractmodel
tag: b19a7689a0d40ba3c7f91da87ef5fbcf20f3926c
subdir:
quickcheck-contractmodel
quickcheck-threatmodel