[Agda] Installing Idris without breaking Agda

[Dave Martin]

...A huge list of apparently success indicating messages...but then a couple of (apparent) error messages towards the end:

Configuring Agda-2.5.3...
Failed to install Agda-2.5.3

[...]

Configuring Agda-2.5.3...
setup: The program 'alex' version >=3.1.0 && <3.2.0 || >=3.2.1 is required but
it could not be found.
cabal: Leaving directory '/tmp/cabal-tmp-14275/Agda-2.5.3'

[...]

Building idris-1.3.1...

...where it has been stuck for probably half an hour now. Did the fact that I still had Agda open during this process have something to do with it? It hadn't been obvious to me that I should close it; I just thought the "Agda" in the command you sent me was a flag to avoid Agda or something, not a reinstallation as I now think it may have been. What should I do now? I'm starting to think that this is not normal! Idris shouldn't take this long to install!


> Sent: Sunday, October 28, 2018 at 7:52 PM
> From: "Tom Murphy" <amindfv at gmail.com>
> To: "Dave Martin" <dave.martin at mail.com>
> Cc: agda at lists.chalmers.se
> Subject: Re: [Agda] Installing Idris without breaking Agda
>
> What's the result of
> 
>     cabal install idris Agda uri-encode
> 
> ?
> 
> Tom
> 
> On 10/28/18, Dave Martin <dave.martin at mail.com> wrote:
> > I hope this isn't too off topic, but understand that I'm almost completely
> > "computer illiterate" and I don't know of any better place to ask it!
> >
> > I some time ago installed (Linux Mint 19) Emacs and Agda; they apparently
> > work perfectly. But now I want to install Idris as well. I followed the
> > official instructions (
> > http://docs.idris-lang.org/en/latest/tutorial/starting.html ). I first
> > installed cabal, then did cabal update, both with no messages; then I
> > finally tried cabal install idris. Whereupon I get this message:
> >
> > cabal: The following packages are likely to be broken by the reinstalls:
> > uri-encode-1.5.0.5
> > Agda-2.5.3
> > Use --force-reinstalls if you want to install anyway.
> >
> > Ah, what is going on here? I don't want to break Agda! (Taking the website's
> > suggestion of adding to my PATH didn't help.) How do I handle this puzzle?
> >
> > Also: Once I succeed, will I be able to use Idris in Emacs like I can Agda?
> > I have used Atom and I find it unpleasant and confusing.
> >
> > Any help anyone can provide would be appreciated; again, I was sure this
> > small community is as likely as any out there to be familiar with what it
> > takes.
> > _______________________________________________
> > Agda mailing list
> > Agda at lists.chalmers.se
> > https://lists.chalmers.se/mailman/listinfo/agda
> >
>