[Agda] Cabal hell again

[Thorsten Altenkirch]

Actually stack init fails as well.

Thorsten

From: Agda <agda-bounces at lists.chalmers.se> on behalf of "a.j.rouvoet" <a.j.rouvoet at gmail.com>
Date: Wednesday, 8 July 2020 at 11:32
To: "agda at lists.chalmers.se" <agda at lists.chalmers.se>
Subject: Re: [Agda] Cabal hell again


One way to avoid cabal hell is to use the stack build, which in my experience does a better job to keep things isolated.

Arjen
On 7/8/20 12:30 PM, Carette, Jacques wrote:
The last time this happened to me, there were in fact 2 versions of cabal on my machine – and the one that my shell picked and the one that the build scripts picked up were not the same. And because of local vs global package caches, things got into complete hell.

Once I removed the no-longer-wanted extra copy of cabal and all its droppings, things worked again.

Jacques

From: Agda <agda-bounces at lists.chalmers.se><mailto:agda-bounces at lists.chalmers.se> On Behalf Of Thorsten Altenkirch
Sent: July 8, 2020 5:53 AM
To: Agda mailing list <agda at lists.chalmers.se><mailto:agda at lists.chalmers.se>
Subject: [Agda] Cabal hell again


I ended up in cabal hell again. What is the trick to get out of it?



I did ghcup and I nuked .cabal but to no avail. What is going on?



Thorsten





psztxa at IMAC-DGKYNHM5JV3X agda % which cabal

/Users/psztxa/.ghcup/bin/cabal

psztxa at IMAC-DGKYNHM5JV3X agda % ghc --version

The Glorious Glasgow Haskell Compilation System, version 8.8.3

psztxa at IMAC-DGKYNHM5JV3X agda % cabal --version

cabal-install version 3.2.0.0

compiled using version 3.2.0.0 of the Cabal library

psztxa at IMAC-DGKYNHM5JV3X agda % cabal update

Downloading the latest package list from hackage.haskell.org

To revert to previous state run:

    cabal v2-update 'hackage.haskell.org,2020-07-08T08:22:29Z'

psztxa at IMAC-DGKYNHM5JV3X agda % git pull

Already up to date.

psztxa at IMAC-DGKYNHM5JV3X agda % cabal install

cabal: Could not resolve dependencies:

[__0] trying: Agda-2.6.2 (user goal)

[__1] trying: base-4.13.0.0/installed-4.13.0.0 (dependency of Agda)

[__2] next goal: lib (user goal)

[__2] rejecting: lib-1.3 (conflict: base==4.13.0.0/installed-4.13.0.0, lib =>

base>=4.8.0.0 && <4.13)

[__2] fail (backjumping, conflict set: base, lib)

After searching the rest of the dependency tree exhaustively, these were the

goals I've had most trouble fulfilling: base, lib, Agda







This message and any attachment are intended solely for the addressee

and may contain confidential information. If you have received this

message in error, please contact the sender and delete the email and

attachment.



Any views or opinions expressed by the author of this email do not

necessarily reflect the views of the University of Nottingham. Email

communications with the University of Nottingham may be monitored

where permitted by law.









_______________________________________________

Agda mailing list

Agda at lists.chalmers.se<mailto:Agda at lists.chalmers.se>

https://lists.chalmers.se/mailman/listinfo/agda



This message and any attachment are intended solely for the addressee
and may contain confidential information. If you have received this
message in error, please contact the sender and delete the email and
attachment. 

Any views or opinions expressed by the author of this email do not
necessarily reflect the views of the University of Nottingham. Email
communications with the University of Nottingham may be monitored 
where permitted by law.




-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20200708/fbd9dc74/attachment.html>