Dependencies resolution fails for `cabal run uplc`
KristianBalaj opened this issue · comments
Summary
When I nix develop into this repository and run cabal run uplc I get a dependency resolution error.
Steps to reproduce the behavior
nix developcabal run uplc
Actual Result
After cabal run uplc I get the following error:
Cleared directory 'lib/QuickChick'
Submodule 'lib/QuickChick' (https://github.com/Xiving/QuickChick) unregistered for path 'lib/QuickChick'
Cleared directory 'lib/coq-ctproxy'
Submodule 'lib/coq-ctproxy' (https://github.com/Xiving/coq-ctproxy) unregistered for path 'lib/coq-ctproxy'
HEAD is now at e814b91 Raise base upper bound since the extracted code needs a higher base
Submodule 'lib/QuickChick' (https://github.com/Xiving/QuickChick) registered for path 'lib/QuickChick'
Submodule 'lib/coq-ctproxy' (https://github.com/Xiving/coq-ctproxy) registered for path 'lib/coq-ctproxy'
Cloning into '/Users/kristian/Documents/Kristian/MLabs/plutus/dist-newstyle/src/plutus-ce_-a56222264e385ec0/lib/QuickChick'...
Cloning into '/Users/kristian/Documents/Kristian/MLabs/plutus/dist-newstyle/src/plutus-ce_-a56222264e385ec0/lib/coq-ctproxy'...
Submodule path 'lib/QuickChick': checked out '263ca87a2b52da7b517071617389b00c044ca5a4'
Submodule path 'lib/coq-ctproxy': checked out 'deb590062ff2d23b58d1064e6aaa97ea3e9bf74f'
Entering 'lib/QuickChick'
Entering 'lib/coq-ctproxy'
Warning: The package list for 'hackage.haskell.org' is 585 days old.
Run 'cabal update' to get the latest list of available packages.
Warning: Requested index-state 2024-01-08T22:38:30Z is newer than
'hackage.haskell.org'! Falling back to older state (2022-07-13T17:11:29Z).
Warning: The package list for 'cardano-haskell-packages' does not exist. Run
'cabal update' to download it.
Warning: Requested index-state 2024-01-16T11:00:00Z is newer than
'cardano-haskell-packages'! Falling back to older state ().
Resolving dependencies...
Error: cabal: Could not resolve dependencies:
[__0] trying: plutus-tx-1.21.0.0 (user goal)
[__1] trying: plutus-tx:*test
[__2] next goal: plutus-tx:doctest:exe.doctest (dependency of plutus-tx *test)
[__2] rejecting:
plutus-tx:doctest:exe.doctest-0.22.2/installed-JuWts1QWH9rDi4EEItHZcO (does
not contain executable 'doctest', which is required by plutus-tx *test)
[__2] trying: plutus-tx:doctest:exe.doctest-0.20.0
[__3] next goal: plutus-tx:doctest:exe.ghc (dependency of
plutus-tx:doctest:exe.doctest)
[__3] rejecting:
plutus-tx:doctest:exe.ghc-9.6.3/installed-HFcsqWMW2Qd697ZWQ5s9VR (conflict:
plutus-tx:doctest:exe.doctest => plutus-tx:doctest:exe.ghc>=7.0 && <9.3)
[__3] rejecting: plutus-tx:doctest:exe.ghc-9.2.3,
plutus-tx:doctest:exe.ghc-9.2.2, plutus-tx:doctest:exe.ghc-9.2.1,
plutus-tx:doctest:exe.ghc-9.0.2, plutus-tx:doctest:exe.ghc-8.10.7,
plutus-tx:doctest:exe.ghc-8.10.2, plutus-tx:doctest:exe.ghc-8.10.1,
plutus-tx:doctest:exe.ghc-8.8.3, plutus-tx:doctest:exe.ghc-8.8.1,
plutus-tx:doctest:exe.ghc-8.6.5, plutus-tx:doctest:exe.ghc-8.6.4,
plutus-tx:doctest:exe.ghc-8.6.1, plutus-tx:doctest:exe.ghc-8.4.4,
plutus-tx:doctest:exe.ghc-8.4.3, plutus-tx:doctest:exe.ghc-8.4.1,
plutus-tx:doctest:exe.ghc-8.2.2, plutus-tx:doctest:exe.ghc-8.2.1,
plutus-tx:doctest:exe.ghc-9.2.3.20220620 (constraint from non-upgradeable
package requires installed instance)
[__3] fail (backjumping, conflict set: plutus-tx:doctest:exe.doctest,
plutus-tx:doctest:exe.ghc)
After searching the rest of the dependency tree exhaustively, these were the
goals I've had most trouble fulfilling: plutus-tx:doctest:exe.ghc,
plutus-tx:doctest:exe.doctest, plutus-tx, plutus-tx:test
Try running with --minimize-conflict-set to improve the error message.
Expected Result
No dependency error.
Describe the approach you would take to fix this
No response
System info
OS: x86-darwin
plutus revision: (current main) - 1d513d6cbc7ce28f85c9608c2c9395c9ee0abd54
Warning: The package list for 'hackage.haskell.org' is 585 days old.
Run 'cabal update' to get the latest list of available packages.
Warning: The package list for 'cardano-haskell-packages' does not exist. Run
'cabal update' to download it.