-
Notifications
You must be signed in to change notification settings - Fork 479
/
cabal.project
107 lines (92 loc) · 3.74 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
98
99
100
101
102
103
104
105
106
107
-- 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
-- See CONTRIBUTING for some Nix commands you will need to run if you
-- update either of these.
index-state:
-- Bump both the following dates if you need newer packages from Hackage
, hackage.haskell.org 2024-10-16T00:00:00Z
-- Bump this if you need newer packages from CHaP
, cardano-haskell-packages 2024-10-16T00:00:00Z
packages: cardano-constitution
plutus-benchmark
plutus-conformance
plutus-core
plutus-executables
plutus-ledger-api
plutus-metatheory
plutus-tx
plutus-tx-plugin
plutus-tx-test-util
prettyprinter-configurable
doc/docusaurus/docusaurus-examples.cabal
-- We never, ever, want this.
write-ghc-environment-files: never
-- Always build tests and benchmarks.
tests: true
benchmarks: true
-- The only sensible test display option, since it allows us to have colourized
-- 'tasty' output.
test-show-details: direct
package plutus-core
flags: +with-inline-r +with-cert
-- Needs a newer base so won't work on 8.10, various dependencies of coq don't work
-- when cross building for windows
if impl(ghc < 9.0) || os(windows)
-- Note: we enable this and then disable it conditionally, rather than enabling
-- it conditionally, to avoid https://github.com/haskell/cabal/issues/9293
package plutus-core
flags: -with-cert
-- This is a bit silly. Although we won't use plutus-cert in this case, cabal
-- still considers it a "local" project and tries to solve for it so we hack
-- around the dependency issue, keeping cabal happy, which is fine since it
-- won't actually build it.
allow-older: plutus-cert:base
if os(windows)
-- Exclude tests that use `doctest`. They will not work for
-- cross compilation and `cabal` will not be able to make a plan.
package prettyprinter-configurable
tests: False
-- Recently introduced flag to be clever and use SIMD instructions.
-- We don't need this and it causes problems in a few settings including
-- cross-compilation.
package bitvec
flags: -simd
-- See the note on nix/agda-packages.nix for why this is here.
-- (NOTE this will change to ieee754 in newer versions of nixpkgs).
extra-packages: ieee, filemanip
source-repository-package
type: git
location: https://github.com/jaccokrijnen/plutus-cert
tag: e814b9171398cbdfecdc6823067156a7e9fc76a3
allow-newer:
-- https://github.com/tweag/HaskellR/pull/420
, inline-r:singletons-th
, inline-r:aeson
, inline-r:text
, inline-r:template-haskell
, inline-r:deepseq
, inline-r:bytestring
, inline-r:containers
, inline-r:primitive
-- Uncomment the following lines to make cardano-constitution:create-json-envelope buildable:True
--
-- package cardano-constitution
-- flags: +force-build
-- allow-newer: *:plutus-ledger-api
-- allow-newer: *:prettyprinter-configurable
-- allow-older: *:nothunks
-- -------------------------------------------------------------------------------------------------
-- Following currently required for building with ghc-9.10.
constraints:
-- The API has changed for version 2.2, ledger depends on the old version and ledger will not
-- be updated until after the Conway release.
, cardano-crypto-class ^>= 2.1