From cc4851cde8ee6cdd27755b7b302cb2a146137f01 Mon Sep 17 00:00:00 2001 From: Alexey Zabelin Date: Tue, 26 Dec 2023 18:18:11 -0600 Subject: [PATCH] Try disabling Agda to break dep cycle Error: [S-4804] Stack failed to construct a build plan. While constructing the build plan, Stack encountered the following errors: In the dependencies for criterion-1.6.3.0: * aeson dependency cycle detected: aeson, criterion, network-uri, aeson, Agda needed since criterion is a build target. In the dependencies for criterion-measurement-0.2.1.0: * aeson dependency cycle detected: aeson, criterion, network-uri, aeson, Agda needed since criterion-measurement is a build target. In the dependencies for microstache-1.0.2.3: * aeson dependency cycle detected: aeson, criterion, network-uri, aeson, Agda needed since microstache is a build target. In the dependencies for statistics-0.16.2.1: * aeson dependency cycle detected: aeson, criterion, network-uri, aeson, Agda needed since statistics is a build target. curator: Received ExitFailure 1 when running Raw command: /usr/bin/stack --terminal build --test --test-suite-timeout=600 --no-rerun-tests --bench --no-run-benchmarks --haddock --no-interleaved-output --ghc-options -w --jobs=16 Run from: unpack-dir Mimicking this commit in hopes it works: https://github.com/commercialhaskell/stackage/commit/3ab7922cc0671e3d739bba8d81532318c6b04b73 --- build-constraints.yaml | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/build-constraints.yaml b/build-constraints.yaml index 847bce1b..5fd037b2 100644 --- a/build-constraints.yaml +++ b/build-constraints.yaml @@ -75,7 +75,7 @@ packages: - geniplate-mirror "Andreas Abel @andreasabel": - - Agda + - Agda < 0 - agda2lagda - BNFC - cabal-clean