cabal.project

-- NOTE: we keep the commented out sections for reference for a while, but they will be removed eventually.
packages: .

-- Custom repository for cardano haskell packages
-- See https://github.com/input-output-hk/cardano-haskell-packages on how to use CHaP in a Haskell project.
repository cardano-haskell-packages
  url: https://chap.intersectmbo.org/
  secure: True
  root-keys:
    3e0cce471cf09815f930210f7827266fd09045445d65923e6d0238a6cd15126f
    443abb7fb497a134c343faf52f0b659bd7999bc06b7f63fa76dc99d631f9bea1
    a86a1f6ce86c449c46666bda44268677abf29b5b2d2eb5ec7af903ec2f117a82
    bcec67e8e99cabfa7764d75ad9b158d72bfacf70ca1d0ec8bc6b4406d1bf8413
    c00aae8461a256275598500ea0e187588c35a5d5d7454fb57eac18d9edb86a56
    d4a35cd3121aa00d18544bb0ac01c3e1691d618f462c46129271bccf39f7e8ee

-- See CONTRIBUTING.adoc for how to update index-state
index-state:
  , hackage.haskell.org 2024-06-12T10:10:17Z
  , cardano-haskell-packages 2024-06-12T10:10:17Z

-- source-repository-package
--   type: git
--   location: https://github.com/IntersectMBO/cardano-node-emulator.git
--   tag: 4e448248122cece3238052b3639eb4c0c36b422d
--   --sha256: sha256-sB5pfwHm+r5z8gmePFogNoyFxKPR1TVVb2J8HQ7Eq1I=
--   subdir: plutus-ledger
--           plutus-script-utils
--           cardano-node-emulator
--           cardano-node-socket-emulator
--           freer-extras

-- 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

-- 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 dev work we don't care about performance so much, so this is okay.
-- package cardano-ledger-alonzo
--   optimization: False
-- package ouroboros-consensus-cardano
--   optimization: False
-- package cardano-api
--   optimization: False
-- package cardano-crypto-praos
--   flags: -external-libsodium-vrf

-- -- This is quickcheck-contractmodel's HEAD of the Conway branch:
-- -- https://github.com/input-output-hk/quickcheck-contractmodel/tree/Conway
-- source-repository-package
--     type: git
--     location: https://github.com/input-output-hk/quickcheck-contractmodel
--     tag: b19a7689a0d40ba3c7f91da87ef5fbcf20f3926c
--     --sha256: sha256-ronNW9uJoleclzLjRJhDWdWd9Dso2XSnUl4m3/2eb2k=
--     subdir:
--       quickcheck-contractmodel
--       quickcheck-threatmodel

-- source-repository-package
--     type: git
--     location: https://github.com/Ali-Hill/plutus-contract-certification-node
--     tag: 945acad6ac294cb801d901fb4df851d9f2ca3106
--     --sha256: sha256-keiXJeCCAPmVNlBlrg9uDUEjuEFCPAsZ2kHVdycrIPU=