From a19d82ca2a03a6e04c7bdfba17fe083aa8668a12 Mon Sep 17 00:00:00 2001 From: Marcin Szamotulski Date: Mon, 5 Oct 2026 16:19:34 +0200 Subject: [PATCH] Updated CHaP We no longer need `finitary` flag on `acts` package. --- cabal.project | 5 +---- flake.lock | 6 +++--- scripts/ci/cabal.project.local.Windows | 8 ++++++++ 3 files changed, 12 insertions(+), 7 deletions(-) diff --git a/cabal.project b/cabal.project index 7c73cf62f66..bc8652ce884 100644 --- a/cabal.project +++ b/cabal.project @@ -18,7 +18,7 @@ index-state: , hackage.haskell.org 2026-06-29T22:49:53Z -- Bump this if you need newer packages from CHaP - , cardano-haskell-packages 2026-07-02T10:10:00Z + , cardano-haskell-packages 2026-10-05T13:20:29Z active-repositories: , :rest @@ -52,9 +52,6 @@ package network-mux package ouroboros-network flags: +asserts +cddl -package acts - flags: -finitary - if impl (ghc >= 9.14) constraints: , containers > 0.7 diff --git a/flake.lock b/flake.lock index df112ed0381..c877f324722 100644 --- a/flake.lock +++ b/flake.lock @@ -3,11 +3,11 @@ "CHaP": { "flake": false, "locked": { - "lastModified": 1782990451, - "narHash": "sha256-U0o77JuGp6ADqym7TtGV3AwzRn5SFuiTRyCOR6qfxGA=", + "lastModified": 1791209704, + "narHash": "sha256-OfCPHMmoCVn3VV3SguOOp7CzzJTUz/Ng3yJqUfXGJsg=", "owner": "intersectmbo", "repo": "cardano-haskell-packages", - "rev": "def6ba6e0324e451802f5a17b12a00bd64639e14", + "rev": "b0b3231c063261e97896d50d98c531890efa298a", "type": "github" }, "original": { diff --git a/scripts/ci/cabal.project.local.Windows b/scripts/ci/cabal.project.local.Windows index 14560888d26..a5392df92d7 100644 --- a/scripts/ci/cabal.project.local.Windows +++ b/scripts/ci/cabal.project.local.Windows @@ -27,3 +27,11 @@ package ouroboros-network package cardano-diffusion flags: +asserts -cddl + +-- +-- finitary is disabled on Windows: it uses GHC plugins, which are not +-- supported in cross compilation ("Plugins require -fno-external-interpreter") +-- + +package acts + flags: -finitary