Skip to content

Commit

Permalink
Add CHaP
Browse files Browse the repository at this point in the history
  • Loading branch information
@jhbertra
jhbertra committed Apr 12, 2023
1 parent 054ebae commit 63a6c89
Show file tree
Hide file tree
Showing 3 changed files with 41 additions and 329 deletions.
339 changes: 20 additions & 319 deletions cabal.project
View file
Original file line number Diff line number Diff line change
@@ -1,5 +1,23 @@
-- Bump this if you need newer packages from Hackage
index-state: 2022-10-29T00:00:00Z
repository cardano-haskell-packages
url: https://input-output-hk.github.io/cardano-haskell-packages
secure: True
root-keys:
3e0cce471cf09815f930210f7827266fd09045445d65923e6d0238a6cd15126f
443abb7fb497a134c343faf52f0b659bd7999bc06b7f63fa76dc99d631f9bea1
a86a1f6ce86c449c46666bda44268677abf29b5b2d2eb5ec7af903ec2f117a82
bcec67e8e99cabfa7764d75ad9b158d72bfacf70ca1d0ec8bc6b4406d1bf8413
c00aae8461a256275598500ea0e187588c35a5d5d7454fb57eac18d9edb86a56
d4a35cd3121aa00d18544bb0ac01c3e1691d618f462c46129271bccf39f7e8ee

-- run `nix flake lock --update-input hackage` after updating the hackage index-state.
-- run `nix flake lock --update-input CHaP` after updating the cardano-haskell-packages index-state.
-- We duplicate the hackage index-state first for haskell.nix, even though cabal ignores it.
-- This must always match the hackage index-state on the next line.
-- See https://github.com/input-output-hk/haskell.nix/issues/1869#issuecomment-1449272480
index-state: 2023-04-12T00:00:00Z
index-state:
, hackage.haskell.org 2023-04-12T00:00:00Z
, cardano-haskell-packages 2023-04-12T00:00:00Z

packages: marlowe-playground-server
marlowe-symbolic
Expand All @@ -11,325 +29,8 @@ write-ghc-environment-files: never
tests: true
benchmarks: true

constraints:
-- Because later versions of hedgehog introduce a change which break 'cardano-ledger':
-- Test/Cardano/Chain/Delegation/Model.hs:91:41: error:
-- * Could not deduce (TraversableB SignalSDELEG)
-- TODO: Try to remove on next `cardano-node` version upgrade.
hedgehog >= 1.0.2 && < 1.1

-- The only sensible test display option.
test-show-details: streaming

allow-newer:
size-based:template-haskell

-- NEVER do that because it breaks inlining and all plutus
-- scripts gona fail with cryptic errors:
--
-- package marlowe
-- optimization: False
-- package marlowe-cli
-- optimization: False
-- Copied from plutus-apps.
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/input-output-hk/marlowe-cardano
tag: d1ed1b9703f414ec1d1a29f6d4f5c58d2faf6c81
--sha256: sha256-unCGFcHDDgizFwiIMe8J+p84uufX56uulvvCITh5KSg=
subdir:
marlowe
marlowe-actus
libs/base16-aeson


-- marlowe-cardano specific dependencies:

-- on branch: next-node
source-repository-package
type: git
location: https://github.com/input-output-hk/plutus-apps
tag: 2b950d98874377be9635b4b8d3bf0c3ef72aac96
--sha256: 0jagzipyjzakb56zi9ysfdgvfri97xrckhizi5y15025ax8rih8l
subdir:
plutus-script-utils
plutus-ledger
freer-extras
plutus-ledger-constraints

source-repository-package
type: git
location: https://github.com/input-output-hk/cardano-node
tag: 1.35.3
--sha256: 020fwimsm24yblr1fmnwx240wj8r3x715p89cpjgnnd8axwf32p0
subdir:
cardano-api
cardano-cli
cardano-git-rev
cardano-node
cardano-submit-api
cardano-testnet
trace-dispatcher
trace-forward
trace-resources

-- cardano-node dependencies:

-- Can remove this one when using newer cardano-node
source-repository-package
type: git
location: https://github.com/astanin/moo
tag: dbda5e76ac3b4c72c805ec0cdb9bcdff7bb6247d
--sha256: 1mdj218hgh7s5a6b9k14vg9i06zxah0wa42ycdgh245izs8nfv0x

source-repository-package
type: git
location: https://github.com/input-output-hk/optparse-applicative
tag: 7497a29cb998721a9068d5725d49461f2bba0e7a
--sha256: 1gvsrg925vynwgqwplgjmp53vj953qyh3wbdf34pw21c8r47w35r

source-repository-package
type: git
location: https://github.com/vshabanov/ekg-json
tag: 00ebe7211c981686e65730b7144fbf5350462608
--sha256: 1zvjm3pb38w0ijig5wk5mdkzcszpmlp5d4zxvks2jk1rkypi8gsm

source-repository-package
type: git
location: https://github.com/input-output-hk/hedgehog-extras
tag: 714ee03a5a786a05fc57ac5d2f1c2edce4660d85
--sha256: 1qa4mm36xynaf17990ijmzww0ij8hjrc0vw5nas6d0zx6q9hb978

source-repository-package
type: git
location: https://github.com/input-output-hk/cardano-base
tag: 0f3a867493059e650cda69e20a5cbf1ace289a57
--sha256: 0p0az3sbkhb7njji8xxdrfb0yx2gc8fmrh872ffm8sfip1w29gg1
subdir:
base-deriving-via
binary
binary/test
cardano-crypto-class
cardano-crypto-praos
cardano-crypto-tests
measures
orphans-deriving-via
slotting
strict-containers


source-repository-package
type: git
location: https://github.com/input-output-hk/cardano-crypto
tag: f73079303f663e028288f9f4a9e08bcca39a923e
--sha256: 1n87i15x54s0cjkh3nsxs4r1x016cdw1fypwmr68936n3xxsjn6q

source-repository-package
type: git
location: https://github.com/input-output-hk/cardano-ledger
tag: c7c63dabdb215ebdaed8b63274965966f2bf408f
--sha256: 1cn1z3dh5dy5yy42bwfd8rg25mg8qp3m55gyfsl563wgw4q1nd6d
subdir:
subdir:
eras/alonzo/impl
eras/alonzo/test-suite
eras/babbage/impl
eras/babbage/test-suite
eras/byron/chain/executable-spec
eras/byron/crypto
eras/byron/crypto/test
eras/byron/ledger/executable-spec
eras/byron/ledger/impl
eras/byron/ledger/impl/test
eras/shelley/impl
eras/shelley/test-suite
eras/shelley-ma/impl
eras/shelley-ma/test-suite
libs/cardano-ledger-core
libs/cardano-ledger-pretty
libs/cardano-ledger-test
libs/cardano-protocol-tpraos
libs/cardano-data
libs/vector-map
libs/set-algebra
libs/small-steps
libs/small-steps-test
libs/non-integral

constraints:
protolude == 0.3.0
-- When updating this past https://github.com/input-output-hk/cardano-prelude/commit/c5973b6dc8f89bd68e3e4c2d58e842ddcbaeb42a, remove the protolude constraint above
source-repository-package
type: git
location: https://github.com/input-output-hk/cardano-prelude
tag: bb4ed71ba8e587f672d06edf9d2e376f4b055555
--sha256: 00h10l5mmiza9819p9v5q5749nb9pzgi20vpzpy1d34zmh6gf1cj
subdir:
cardano-prelude
cardano-prelude-test

source-repository-package
type: git
location: https://github.com/input-output-hk/goblins
tag: cde90a2b27f79187ca8310b6549331e59595e7ba
--sha256: 17c88rbva3iw82yg9srlxjv2ia5wjb9cyqw44hik565f5v9svnyg

source-repository-package
type: git
location: https://github.com/input-output-hk/iohk-monitoring-framework
tag: 066f7002aac5a0efc20e49643fea45454f226caa
--sha256: 0s6x4in11k5ba7nl7la896g28sznf9185xlqg9c604jqz58vj9nj
subdir:
contra-tracer
iohk-monitoring
plugins/backend-aggregation
plugins/backend-ekg
plugins/backend-monitoring
plugins/backend-trace-forwarder
plugins/scribe-systemd
tracer-transformers

source-repository-package
type: git
location: https://github.com/input-output-hk/Win32-network
tag: 3825d3abf75f83f406c1f7161883c438dac7277d
--sha256: 19wahfv726fa3mqajpqdqhnl9ica3xmf68i254q45iyjcpj1psqx

source-repository-package
type: git
location: https://github.com/input-output-hk/ouroboros-network
tag: cb9eba406ceb2df338d8384b35c8addfe2067201
--sha256: 066llskxzjgcs13lwlvklb28azb9kd9b77j61x8fvrj1rlf5njfw
subdir:
monoidal-synchronisation
network-mux
ntp-client
ouroboros-consensus
ouroboros-consensus-byron
ouroboros-consensus-cardano
ouroboros-consensus-protocol
ouroboros-consensus-shelley
ouroboros-network
ouroboros-network-framework
ouroboros-network-testing

source-repository-package
type: git
location: https://github.com/input-output-hk/io-sim
tag: f4183f274d88d0ad15817c7052df3a6a8b40e6dc
--sha256: 0vb2pd9hl89v2y5hrhrsm69yx0jf98vppjmfncj2fraxr3p3lldw
subdir:
io-classes
io-sim
strict-stm

source-repository-package
type: git
location: https://github.com/input-output-hk/typed-protocols
tag: 181601bc3d9e9d21a671ce01e0b481348b3ca104
--sha256: 1lr97b2z7l0rpsmmz92rsv27qzd5vavz10cf7n25svya4kkiysp5
subdir:
typed-protocols
typed-protocols-cborg
typed-protocols-examples

constraints:
algebraic-graphs == 0.6
-- When updating this past https://github.com/input-output-hk/plutus/commit/36efba025d10e60b096b68e12410ea071191266d, remove the algebraic-graphs constraint
source-repository-package
type: git
location: https://github.com/input-output-hk/plutus
tag: a56c96598b4b25c9e28215214d25189331087244
--sha256: 12d6bndmj0dxl6xlaqmf78326yp5hw093bmybmqfpdkvk4mgz03j
subdir:
plutus-core
plutus-ledger-api
plutus-tx
plutus-tx-plugin
prettyprinter-configurable
stubs/plutus-ghc-stub
word-array

source-repository-package
type: git
location: https://github.com/input-output-hk/ekg-forward
tag: 297cd9db5074339a2fb2e5ae7d0780debb670c63
--sha256: 1zcwry3y5rmd9lgxy89wsb3k4kpffqji35dc7ghzbz603y1gy24g

source-repository-package
type: git
location: https://github.com/denisshevchenko/threepenny-gui
tag: 4ec92ded05ccf59ba4a874be4b404ac1b6d666b6
--sha256: 00fvvaf4ir4hskq4a6gggbh2wmdvy8j8kn6s4m1p1vlh8m8mq514

-- Drops an instance breaking our code. Should be released to Hackage eventually.
source-repository-package
type: git
location: https://github.com/input-output-hk/flat
tag: ee59880f47ab835dbd73bea0847dab7869fc20d8
--sha256: 1lrzknw765pz2j97nvv9ip3l1mcpf2zr4n56hwlz0rk7wq7ls4cm

constraints:
hedgehog >= 1.0
, bimap >= 0.4.0
, libsystemd-journal >= 1.4.4
, systemd >= 2.3.0
-- systemd-2.3.0 requires at least network 3.1.1.0 but it doesn't declare
-- that dependency
, network >= 3.1.1.0
, HSOpenSSL >= 0.11.7.2

allow-newer:
*:aeson,
monoidal-containers:aeson,
size-based:template-haskell

-- marlowe-cli only

source-repository-package
type: git
location: https://github.com/input-output-hk/cardano-config
tag: 1646e9167fab36c0bff82317743b96efa2d3adaa
--sha256: 11kf65x38laqhwspsl28j2x5a4rky8mfr6356w0li5g53sfykmjc

-- When updated to 3.12.0 or newer, remove the cabal-generator override in nix/pkgs/haskell/haskell.nix
source-repository-package
type: git
location: https://github.com/input-output-hk/cardano-addresses
tag: 5094fb9d304ed69adedc99513634a00cbf850fca
--sha256: sha256-m8oidcV9LWU0S+NBw4wH1JdKZVict1EbKBZ6kfdEEf4=
subdir: command-line
core


-- Upgrading this breaks purescript bridges.
source-repository-package
type: git
location: https://github.com/input-output-hk/servant-purescript
tag: 002e172173ad2f2f69f98a3b56b7312364f23afe
--sha256: sha256-trTSChCACAnKpAaUznWuSNJJLpU8W4rJKHaZvHq5G50=

source-repository-package
type: git
location: https://github.com/input-output-hk/purescript-bridge
tag: 7e554e516e17299ec2100c0f25ae7400deaed592
--sha256: sha256-stskeDvPicCkXsnuivAk7NpgzThvEUFJmjO1mW0I8Ik=
Loading

0 comments on commit 63a6c89

Please sign in to comment.