Skip to content

Remove max-backjumps from cabal.project. #909

@carbolymer

Description

@carbolymer

Introduced in: #901

Without max-backjumps cabal has problems arriving with buildable plan:

Resolving dependencies...
Error: [Cabal-7107]
Could not resolve dependencies:
[__0] trying: cardano-api-10.17.1.0 (user goal)
[__1] trying: hedgehog-extras-0.8.0.0 (dependency of cardano-api)
[__2] trying: lifted-async-0.10.2.7 (dependency of hedgehog-extras)
[__3] trying: constraints-0.14.2 (dependency of lifted-async)
[__4] trying: hashable-1.5.0.0 (dependency of constraints)
[__5] trying: cardano-ledger-byron-test-1.5.2.1 (dependency of cardano-api)
[__6] trying: byron-spec-ledger-1.1.0.0 (dependency of cardano-ledger-byron-test)
[__7] next goal: Unique (dependency of byron-spec-ledger)
[__7] rejecting: Unique-0.4.7.9 (conflict: hashable==1.5.0.0, Unique => hashable>=1.2.6 && <=1.5)
[__7] skipping: Unique; 0.4.7.8, 0.4.7.7, 0.4.7.6, 0.4.7.5, 0.4.7.2 (has the same characteristics that caused the previous version to fail: excludes 'hashable' version 1.5.0.0)
[__7] rejecting: Unique-0.4.7.1 (conflict: byron-spec-ledger => Unique>=0.4.7.6)
[__7] skipping: Unique; 0.4.7, 0.4.6.1, 0.4.6, 0.4.5, 0.4.4, 0.4.3, 0.4.2, 0.4.1, 0.4, 0.3, 0.2, 0.1.0.5, 0.1.0.4, 0.1.0.3, 0.1.0.2, 0.1.0.1, 0.1.0.0 (has the same characteristics that caused the previous version to fail: excluded by constraint '>=0.4.7.6' from 'byron-spec-ledger')
[__7] fail (backjumping, conflict set: Unique, byron-spec-ledger, hashable)
Backjump limit reached (currently 4000, change with --max-backjumps or try to run with --reorder-goals).

Alternative solutions are:

  • fix the constraints / upgrade dependencies which are failing to resolve upstream
  • check-in cabal.project.freeze with buildable plan
  • add reorder-goals: true to cabal.project - this increases plan.json construction time significantly

Metadata

Metadata

Assignees

No one assigned

    Labels

    No labels
    No labels

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions