forked from IntersectMBO/plutus
-
Notifications
You must be signed in to change notification settings - Fork 0
Expand file tree
/
Copy pathstack.yaml
More file actions
151 lines (143 loc) · 4.95 KB
/
stack.yaml
File metadata and controls
151 lines (143 loc) · 4.95 KB
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
resolver: lts-15.6
packages:
- language-plutus-core
- plutus-tx
- plutus-tx-plugin
- plutus-use-cases
- playground-common
- marlowe
- marlowe-playground-server
- metatheory
- plutus-ledger
- plutus-playground-server
- plutus-book
- plutus-contract
- plutus-scb
- deployment-server
- iots-export
- marlowe-symbolic
- prettyprinter-configurable
- doc
extra-deps:
# Other missing packages
- aws-lambda-haskell-runtime-2.0.4
- binary-instances-1.0.0.1
- composition-prelude-2.0.2.1
- constraints-extras-0.3.0.2
- dependent-map-0.3
- dependent-sum-0.6.2.0
- dependent-sum-template-0.1.0.3
- deriving-aeson-0.2.3
- ekg-0.4.0.15
- ekg-core-0.1.1.7
- ekg-json-0.1.0.6
- eventful-memory-0.2.0
# A revision was added to keep the bounds down, we don't actually want this!
# we work around the newer persistent-template by adding flags below
- eventful-sql-common-0.2.0@rev:0
- eventful-sqlite-0.2.0
- github-0.24
- github-webhooks-0.12.0
- monoidal-containers-0.6.0.1
- monad-stm-0.1.0.2
- prometheus-2.1.3
- row-types-0.3.1.0
- time-out-0.2@sha256:b9a6b4dee64f030ecb2a25dca0faff39b3cb3b5fefbb8af3cdec4142bfd291f2
- time-interval-0.1.1@sha256:7bfd3601853d1af7caa18248ec10b01701d035ac274a93bb4670fea52a14d4e8
- time-units-1.0.0@sha256:27cf54091c4a0ca73d504fc11d5c31ab4041d17404fe3499945e2055697746c1
- th-utilities-0.2.4.0
- servant-options-0.1.0.0
- servant-github-webhook-0.4.1.0@sha256:6ac456ccc6a2a96b30a7b80cd91b121f1b7e9bd33635641a6afbd6137700a753
- sbv-8.6
- random-strings-0.1.1.0@sha256:935a7a23dab45411960df77636a29b44ce42b89eeb15f2b1e809d771491fa677,2517
- wl-pprint-1.2.1@sha256:aea676cff4a062d7d912149d270e33f5bb0c01b68a9db46ff13b438141ff4b7c
- inline-r-0.10.3
# Needs some patches, but upstream seems to be fairly dead (no activity in > 1 year)
- git: https://github.com/shmish111/purescript-bridge.git
commit: 28c37771ef30b0d751960c061ef95627f05d290e
- git: https://github.com/shmish111/servant-purescript.git
commit: ece5d1dad16a5731ac22040075615803796c7c21
- git: https://github.com/input-output-hk/cardano-crypto.git
commit: 2547ad1e80aeabca2899951601079408becbc92c
# Needs a fix (https://github.com/wenkokke/unlit/pull/11) and a Hackage release
- git: https://github.com/michaelpj/unlit.git
commit: 9ca1112093c5ffd356fc99c7dafa080e686dd748
## Node protocols
- canonical-json-0.6.0.0@sha256:9021f435ccb884a3b4c55bcc6b50eb19d5fc3cc3f29d5fcbdef016f5bbae23a2,3488
- cborg-0.2.2.0@sha256:eaee50d09d766af95ba18348e4fc230243033b98633ed46ccb5ae85efef7dc6c,4779
- statistics-linreg-0.3@sha256:95c6efe6c7f6b26bc6e9ada90ab2d18216371cf59a6ef2b517b4a6fd35d9a76f,2544
# Making the repository compatible with GHC-8.8.X required a couple of
# source code changes, so I forked the original repository until it will
# be properly updated to GHC-8.8.X
- git: https://github.com/raduom/ouroboros-network
commit: af744374a05d6a5eb76713b399595131e2a24c38
subdirs:
- typed-protocols
- typed-protocols-examples
- ouroboros-network
- ouroboros-network-framework
- io-sim
- io-sim-classes
- network-mux
- Win32-network
- git: https://github.com/input-output-hk/cardano-prelude
commit: bd7eb69d27bfaee46d435bc1d2720520b1446426
subdirs:
- .
- test
- git: https://github.com/input-output-hk/cardano-base
commit: 5035c9ed95e9d47f050314a7d96b1b2043288f61
subdirs:
- binary
- binary/test
- cardano-crypto-class
- slotting
# Making the repository compatible with GHC-8.8.X required a couple of
# source code changes, so I forked the original repository until it will
# be properly updated to GHC-8.8.X
- git: https://github.com/raduom/cardano-ledger-specs
commit: 2cac85306d8b3e07006e9081f36ce7ebf2d9d0a3
subdirs:
- byron/chain/executable-spec
- byron/ledger/executable-spec
- semantics/executable-spec
- shelley/chain-and-ledger/dependencies/non-integer
- shelley/chain-and-ledger/executable-spec
- shelley/chain-and-ledger/executable-spec/test
# Making the repository compatible with GHC-8.8.X required a couple of
# source code changes, so I forked the original repository until it will
# be properly updated to GHC-8.8.X
- git: https://github.com/raduom/iohk-monitoring-framework
commit: b5c035ad4e226d634242ad5979fa677921181435
subdirs:
- contra-tracer
allow-newer: true
flags:
cardano-prelude:
development: true
cardano-prelude-test:
development: true
cardano-binary:
development: true
cardano-binary-test:
development: true
cardano-crypto-class:
development: true
small-steps:
development: true
byron-spec-ledger:
development: true
shelley-spec-ledger:
development: true
byron-spec-chain:
development: true
shelley-spec-ledger-test:
development: true
## / Node protocols
extra-package-dbs: []
ghc-options:
# Newer versions of persistent-template require some extra language extensions. Fortunately
# we can hack around this here rather than having to fork eventful & co (for now)
eventful-sql-common: "-XDerivingStrategies -XStandaloneDeriving -XUndecidableInstances"
nix:
packages: [zlib, gmp, openssl]