haskell/stackage
1
0
Fork 0
mirror of https://github.com/commercialhaskell/stackage.git synced 2026-01-12 07:18:31 +01:00
Code Issues Actions 1 Packages Projects Releases Wiki Activity

temporarily disable Agda to break dependency cycle

Browse Source 
In the dependencies for tasty-bench-0.3.4:                                                                        [14/144965]
           tasty dependency cycle detected: tasty, tasty-bench, primitive, random, QuickCheck,
                 prettyprinter, optparse-applicative, tasty, STMonadTrans, Agda
       needed since tasty-bench is a build target.

       In the dependencies for tasty-hunit-0.10.0.3:
           tasty dependency cycle detected: tasty, tasty-bench, primitive, random, QuickCheck,
                 prettyprinter, optparse-applicative, tasty, STMonadTrans, Agda
       needed since tasty-hunit is a build target.
       In the dependencies for tasty-quickcheck-0.10.2:
           optparse-applicative dependency cycle detected: optparse-applicative, tasty-quickcheck,
                                pgp-wordlist, prettyprinter, optparse-applicative, tasty,
                                STMonadTrans, Agda
           tasty dependency cycle detected: tasty, tasty-bench, primitive, random, QuickCheck,
                 prettyprinter, optparse-applicative, tasty, STMonadTrans, Agda
       needed since tasty-quickcheck is a build target.

       In the dependencies for pgp-wordlist-0.1.0.3:
           tasty dependency cycle detected: tasty, tasty-bench, primitive, random, QuickCheck,
                 prettyprinter, optparse-applicative, tasty, STMonadTrans, Agda
       needed since pgp-wordlist is a build target.

       In the dependencies for prettyprinter-1.7.1:
           tasty dependency cycle detected: tasty, tasty-bench, primitive, random, QuickCheck,
                 prettyprinter, optparse-applicative, tasty, STMonadTrans, Agda
       needed since prettyprinter is a build target.

       In the dependencies for syb-0.7.2.3:
           tasty dependency cycle detected: tasty, tasty-bench, primitive, random, QuickCheck,
                 prettyprinter, optparse-applicative, tasty, STMonadTrans, Agda
       needed since syb is a build target.

       In the dependencies for text-short-0.1.5:
           tasty dependency cycle detected: tasty, tasty-bench, primitive, random, QuickCheck,
                 prettyprinter, optparse-applicative, tasty, STMonadTrans, Agda
       needed since text-short is a build target.

       In the dependencies for time-compat-1.9.6.1:
           tasty dependency cycle detected: tasty, tasty-bench, primitive, random, QuickCheck,
                 prettyprinter, optparse-applicative, tasty, STMonadTrans, Agda
       needed since time-compat is a build target.

       In the dependencies for vector-0.13.0.0:
           tasty dependency cycle detected: tasty, tasty-bench, primitive, random, QuickCheck,
                 prettyprinter, optparse-applicative, tasty, STMonadTrans, Agda
       needed since vector is a build target.

not sure it is enough though
This commit is contained in:
Jens Petersen 2023-06-21 16:55:43 +08:00
parent bed04e809c
commit 3ab7922cc0
1 changed files with 1 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

3
build-constraints.yaml
View File

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