cabal.project

repository cardano-haskell-packages
  url: https://chap.intersectmbo.org/
  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: 2024-04-02T10:49:14Z
index-state:
  , hackage.haskell.org 2024-04-02T10:49:14Z
  , cardano-haskell-packages 2024-04-02T10:49:14Z

packages:
  async-components
  cardano-integration
  eventuo11y-extras
  hasql-dynamic-syntax
  marlowe
  marlowe-actus
  marlowe-apps
  marlowe-benchmark
  marlowe-chain-sync
  marlowe-cli
  marlowe-client
  marlowe-contracts
  marlowe-integration
  marlowe-integration-tests
  marlowe-object
  marlowe-protocols
  marlowe-runtime
  marlowe-runtime-web
  marlowe-test

  libs/aeson-record
  libs/aeson-via-serialise
  libs/base16-aeson
  libs/cardano-debug
  libs/plutus-ledger-aeson
  libs/plutus-ledger-ada
  libs/plutus-ledger-slot

tests: True

test-show-details: direct

-- Let's keep alphabetical order of packages below.

package comonad
  flags: -test-doctests

package cryptonite
  -- Using RDRAND instead of /dev/urandom as an entropy source for key
  -- generation is dubious. Set the flag so we use /dev/urandom by default.
  flags: -support_rdrand

package locli
  tests: True

package marlowe-cardano
  tests: True
  ghc-options: -Werror

package marlowe-apps
  tests: True
  ghc-options: -Werror

package marlowe-test
  tests: True
  ghc-options: -Werror

package marlowe-object
  tests: True
  ghc-options: -Werror

package aeson-record
  tests: True
  ghc-options: -Werror

package aeson-via-serialise
  tests: True
  ghc-options: -Werror

package base16-aeson
  tests: True
  ghc-options: -Werror

package plutus-ledger-aeson
  tests: True
  ghc-options: -Werror

package plutus-ledger-ada
  tests: True
  ghc-options: -Werror

package plutus-ledger-slot
  tests: True
  ghc-options: -Werror

package marlowe
  tests: True
  ghc-options: -Werror

package marlowe-actus
  tests: True
  ghc-options: -Werror

package marlowe-chain-sync
  ghc-options: -Werror

package marlowe-cli
  ghc-options: -Werror

package marlowe-client
  ghc-options: -Werror

package marlowe-contracts
  tests: True
  ghc-options: -Werror

package marlowe-protocols
  ghc-options: -Werror

package marlowe-runtime
  ghc-options: -Werror

package marlowe-runtime-web
  ghc-options: -Werror

package marlowe-integration
  ghc-options: -Werror

package marlowe-integration-tests
  ghc-options: -Werror

package cardano-integration
  ghc-options: -Werror

package eventuo11y-extras
  ghc-options: -Werror

-- These settings only affect local builds with cabal (i.e. not Nix builds),
-- where compilation speed is more important than runtime performance.
package cardano-api
  optimization: False
package cardano-ledger-alonzo
  optimization: False
package cardano-ledger-babbage
  optimization: False
package cardano-ledger-byron
  optimization: False
package cardano-ledger-core
  optimization: False
package cardano-ledger-pretty
  optimization: False
package cardano-ledger-shelley
  optimization: False
package ouroboros-consensus
  optimization: False
package ouroboros-consensus-byron
  optimization: False
package ouroboros-consensus-cardano
  optimization: False
package ouroboros-consensus-shelley
  optimization: False
package ouroboros-consensus-protocol
  optimization: False
package ouroboros-network
  optimization: False
package plutus-core
  optimization: False
package plutus-ledger-api
  optimization: False
package plutus-tx
  optimization: False
package plutus-script-utils
  optimization: False
package freer-extras
  optimization: False

-- marlowe-cli only

source-repository-package
  type: git
  location: https://github.com/input-output-hk/cardano-addresses
  tag: 0b66b8ad3703ab349414de58f3503843dfb22a1e
  --sha256: sha256-69iE7LrigHTSKJrgq6uGU+U4j+NtBwR4ae18vsLyVvI=
  subdir: core

allow-newer:
  primitive,
  optparse-applicative


source-repository-package
   type: git
   location: https://github.com/input-output-hk/actus-core
   tag: 3bddfeb838c695adf2c6689b3beda3ef1019de7
   --sha256: 12pahjijkym93sm1qh9l9jw6wlv3vf46l73hpdwrm25rz195hi47


source-repository-package
   type: git
   location: https://github.com/input-output-hk/marlowe
   tag: d9042cc6e0e0c2003c9eff47c98896aaf080aa72
   subdir: marlowe-spec-test
           isabelle
   --sha256: 1yfbv9bwr71jd2sqfsb5jjq6j5bjfbjpp946fbkhxwwc2npwj0pd

-- Note (by Nicolas Henin) : To remove when using a version > 1.21 
-- (this is 1.21 + this commit `Revert IntersectMBO#5677 (More efficient Value.geq and leq)` cherry-picked from 1.22 )  
source-repository-package
   type: git
   location: https://github.com/nhenin/plutus
   tag: 7bb9f70558c27d58195cf4670aa758a72d4e2319
   subdir: plutus-core 
           plutus-ledger-api
           plutus-tx
           plutus-tx-plugin 
   --sha256: 0z4fv2pc0d2rpfivl146pwgq3y5kjxw6w9c8rqi154nab1l3614a