You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
While I was trying to use it to build 3.2.0, ran into some build failure as below:
==> cabal v2-install --jobs=4 --max-backjumps=100000 --install-method=copy --installdir=/home/linuxbrew/.linuxbrew/Cellar/cryptol/3.2.0/bin
Error: [Cabal-7107]
Could not resolve dependencies:
[__0] trying: cryptol-3.2.0 (user goal)
[__1] trying: what4-1.6 (dependency of cryptol)
[__2] trying: template-haskell-2.22.0.0/installed-inplace (dependency of what4)
[__3] trying: lens-5.3.2 (dependency of what4)
[__4] next goal: parameterized-utils (dependency of cryptol)
[__4] rejecting: parameterized-utils-2.1.8.0 (conflict: lens==5.3.2, parameterized-utils => lens>=4.16 && <5.3)
[__4] skipping: parameterized-utils; 2.1.7.0, 2.1.6.0, 2.1.5.0, 2.1.4.0, 2.1.3.0, 2.1.2.0, 2.1.1, 2.1.0, 2.0.2, 2.0.1.0, 2.0 (has the same characteristics that caused the previous version to fail: excludes 'lens' version 5.3.2)
[__4] rejecting: parameterized-utils-1.0.1 (conflict: cryptol => parameterized-utils>=2.0.2)
[__4] skipping: parameterized-utils-1.0.0 (has the same characteristics that caused the previous version to fail: excluded by constraint '>=2.0.2' from 'cryptol')
[__4] fail (backjumping, conflict set: cryptol, lens, parameterized-utils)
After searching the rest of the dependency tree exhaustively, these were the goals I've had most trouble fulfilling: lens, what4, template-haskell, parameterized-utils, cryptol
Try running with --minimize-conflict-set to improve the error message.
ghc 9.10.1 was released on May 10, https://www.haskell.org/ghc/blog/20240510-ghc-9.10.1-released.html
While I was trying to use it to build 3.2.0, ran into some build failure as below:
relates to Homebrew/homebrew-core#181815
The text was updated successfully, but these errors were encountered: