[Agda] Cabal hell again

[a.j.rouvoet]

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> *On Behalf Of *Thorsten 
> Altenkirch
> *Sent:* July 8, 2020 5:53 AM
> *To:* Agda mailing list <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
> https://lists.chalmers.se/mailman/listinfo/agda
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://lists.chalmers.se/pipermail/agda/attachments/20200708/6109107b/attachment.html>