idris-lang/Idris-dev

Installation from hackage fails with ghc 8.10.2 in cabal configuration step

andreasabel opened this issue · 1 comments

Trying to install from hackage with ghc 8.10.2 produces a failure of cabal similar to #4845.

Interestingly, it works with ghc 8.8.4 and cabal 3.2, so the cabal version alone cannot be blamed.

Log

$ ghc --version
The Glorious Glasgow Haskell Compilation System, version 8.10.2

$ cabal --version
cabal-install version 3.2.0.0
compiled using version 3.2.0.0 of the Cabal library 

$ cabal install idris
Resolving dependencies...
cabal: Could not resolve dependencies:
[__0] trying: idris-1.3.3 (user goal)
[__1] next goal: idris:setup.Cabal (dependency of idris)
[__1] rejecting: idris:setup.Cabal-3.2.0.0/installed-3.2.0.0 (conflict: idris
=> idris:setup.Cabal>=2.4 && <3.1)
[__1] skipping: idris:setup.Cabal-3.2.0.0 (has the same characteristics that
caused the previous version to fail: excluded by constraint '>=2.4 && <3.1'
from 'idris')
[__1] rejecting: idris:setup.Cabal-3.0.2.0, idris:setup.Cabal-3.0.1.0,
... (long list) ...
idris:setup.Cabal-1.24.1.0 (constraint from minimum version of Cabal used by
Setup.hs requires >=3.2)
...

Fixed in #4888