This repository has been archived by the owner on Sep 21, 2022. It is now read-only.
-
Notifications
You must be signed in to change notification settings - Fork 2
/
cabal.project
281 lines (252 loc) · 8.25 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
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
index-state: 2021-08-14T00:00:00Z
packages: dex
, middleware
, faucet/faucet-backend
-- You never, ever, want this.
write-ghc-environment-files: never
-- Always build tests and benchmarks.
tests: true
benchmarks: true
source-repository-package
type: git
location: https://github.com/input-output-hk/plutus-apps.git
subdir:
freer-extras
playground-common
plutus-chain-index
plutus-chain-index-core
plutus-contract
plutus-ledger
plutus-ledger-constraints
plutus-pab
plutus-use-cases
quickcheck-dynamic
tag: 46e831e49287c3a04f83497b9dd9e70718092cde
package cardano-crypto-praos
flags: -external-libsodium-vrf
-- The following sections are copied from the 'plutus' repository cabal.project at the revision
-- given above.
-- This is necessary because the 'plutus' libraries depend on a number of other libraries which are
-- not on Hackage, and so need to be pulled in as `source-repository-package`s themselves. Make sure to
-- re-update this section from the template when you do an upgrade.
-- This is also needed so evenful-sql-common will build with a
-- newer version of persistent. See stack.yaml for the mirrored
-- configuration.
allow-newer:
-- Pins to an old version of Template Haskell, unclear if/when it will be updated
size-based:template-haskell
, ouroboros-consensus-byron:formatting
, beam-core:aeson
, beam-sqlite:aeson
, beam-sqlite:dlist
, beam-migrate:aeson
constraints:
-- big breaking change here, inline-r doens't have an upper bound
singletons < 3.0
-- bizarre issue: in earlier versions they define their own 'GEq', in newer
-- ones they reuse the one from 'some', but there isn't e.g. a proper version
-- constraint from dependent-sum-template (which is the library we actually use).
, dependent-sum > 0.6.2.0
-- Newer Hashable have instances for Set, which breaks beam-migrate
-- which declares its own instances of Hashable Set
, hashable < 1.3.4.0
-- See the note on nix/pkgs/default.nix:agdaPackages for why this is here.
-- (NOTE this will change to ieee754 in newer versions of nixpkgs).
extra-packages: ieee, filemanip
-- 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 deve work we don't care about performance so much, so this is okay.
package cardano-ledger-alonzo
optimization: False
package ouroboros-consensus-shelley
optimization: False
package ouroboros-consensus-cardano
optimization: False
package cardano-api
optimization: False
package cardano-wallet
optimization: False
package cardano-wallet-core
optimization: False
package cardano-wallet-cli
optimization: False
package cardano-wallet-launcher
optimization: False
package cardano-wallet-core-integration
optimization: False
source-repository-package
type: git
location: https://github.com/Liqwid-Labs/plutus-extra.git
tag: 40178a3c10f8a4089f319430ed62fb1ada2c6e0a
subdir:
plutus-size-check
-- Copied from plutus-core
source-repository-package
type: git
location: https://github.com/Quid2/flat.git
tag: ee59880f47ab835dbd73bea0847dab7869fc20d8
-- TODO replace with something more sustainable (and maintained)
source-repository-package
type: git
location: https://github.com/input-output-hk/purescript-bridge.git
tag: 366fc70b341e2633f3ad0158a577d52e1cd2b138
source-repository-package
type: git
location: https://github.com/input-output-hk/servant-purescript.git
tag: ebea59c7bdfc0338d83fca772b9a57e28560bcde
-- Copied from plutus-core
source-repository-package
type: git
location: https://github.com/input-output-hk/cardano-crypto.git
tag: 07397f0e50da97eaa0575d93bee7ac4b2b2576ec
-- Copied from plutus-core
source-repository-package
type: git
location: https://github.com/input-output-hk/cardano-base
tag: 4ea7e2d927c9a7f78ddc69738409a5827ab66b98
subdir:
base-deriving-via
binary
binary/test
cardano-crypto-class
cardano-crypto-praos
cardano-crypto-tests
measures
orphans-deriving-via
slotting
strict-containers
-- Copied from plutus-core
source-repository-package
type: git
location: https://github.com/input-output-hk/cardano-prelude
tag: fd773f7a58412131512b9f694ab95653ac430852
subdir:
cardano-prelude
cardano-prelude-test
source-repository-package
type: git
location: https://github.com/input-output-hk/cardano-addresses
tag: d2f86caa085402a953920c6714a0de6a50b655ec
subdir:
core
command-line
source-repository-package
type: git
location: https://github.com/j-mueller/cardano-wallet
tag: 6be73ab852c0592713dfe78218856d4a8a0ee69e
subdir:
lib/text-class
lib/strict-non-empty-containers
lib/core
lib/test-utils
lib/numeric
lib/launcher
lib/core-integration
lib/cli
lib/shelley
source-repository-package
type: git
location: https://github.com/input-output-hk/ouroboros-network
tag: 1f4973f36f689d6da75b5d351fb124d66ef1057d
subdir:
monoidal-synchronisation
typed-protocols
typed-protocols-cborg
typed-protocols-examples
ouroboros-network
ouroboros-network-testing
ouroboros-network-framework
ouroboros-consensus
ouroboros-consensus-byron
ouroboros-consensus-cardano
ouroboros-consensus-shelley
io-sim
io-classes
network-mux
ntp-client
source-repository-package
type: git
location: https://github.com/input-output-hk/iohk-monitoring-framework
-- Important Note: Read below, before changing this!
tag: 46f994e216a1f8b36fe4669b47b2a7011b0e153c
-- Are you thinking of updating this tag to some other commit? Please
-- ensure that the commit you are about to use is the latest one from
-- the *develop* branch of this repo:
-- * <https://github.com/input-output-hk/iohk-monitoring-framework/commits/develop>
-- (not master!)
--
-- In particular we rely on the code from this PR:
-- * <https://github.com/input-output-hk/iohk-monitoring-framework/pull/622>
-- being merged.
subdir:
iohk-monitoring
tracer-transformers
contra-tracer
plugins/backend-aggregation
plugins/backend-ekg
plugins/backend-monitoring
plugins/backend-trace-forwarder
plugins/scribe-systemd
source-repository-package
type: git
location: https://github.com/input-output-hk/cardano-ledger-specs
tag: bf008ce028751cae9fb0b53c3bef20f07c06e333
subdir:
byron/ledger/impl
cardano-ledger-core
cardano-protocol-tpraos
eras/alonzo/impl
eras/byron/chain/executable-spec
eras/byron/crypto
eras/byron/crypto/test
eras/byron/ledger/executable-spec
eras/byron/ledger/impl/test
eras/shelley/impl
eras/shelley-ma/impl
eras/shelley/chain-and-ledger/executable-spec
eras/shelley/test-suite
shelley/chain-and-ledger/shelley-spec-ledger-test
libs/non-integral
libs/small-steps
libs/cardano-ledger-pretty
semantics/small-steps-test
-- A lot of plutus-apps dependencies have to be synchronized with the dependencies of
-- cardano-node. If you update cardano-node, please make sure that all dependencies
-- of cardano-node are also updated.
source-repository-package
type: git
location: https://github.com/input-output-hk/cardano-node.git
tag: b6ca519f97a0e795611a63174687e6bb70c9f752
subdir:
cardano-api
cardano-node
cardano-cli
cardano-config
source-repository-package
type: git
location: https://github.com/input-output-hk/optparse-applicative
tag: 7497a29cb998721a9068d5725d49461f2bba0e7a
source-repository-package
type: git
location: https://github.com/input-output-hk/Win32-network
tag: 3825d3abf75f83f406c1f7161883c438dac7277d
source-repository-package
type: git
location: https://github.com/input-output-hk/goblins
tag: cde90a2b27f79187ca8310b6549331e59595e7ba
-- A lot of plutus-apps dependencies have to be syncronized with the dependencies of
-- plutus. If you update plutus, please make sure that all dependencies of plutus
-- are also updated
source-repository-package
type: git
location: https://github.com/input-output-hk/plutus
tag: 2721c59fd2302b75c4138456c29fd5b509e8340a
subdir:
plutus-ledger-api
word-array
prettyprinter-configurable
stubs/plutus-ghc-stub
plutus-core
plutus-tx
plutus-tx-plugin