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: 3ab7922cc0
This commit is contained in:
Alexey Zabelin 2023-12-26 18:18:11 -06:00
parent f0ce077e4a
commit cc4851cde8

View File

@ -75,7 +75,7 @@ packages:
- geniplate-mirror
"Andreas Abel <andreas.abel@gu.se> @andreasabel":
- Agda
- Agda < 0
- agda2lagda
- BNFC
- cabal-clean