[Agda] Installing Idris without breaking Agda

[mukesh tiwari]

I am wondering if this problem can be solved using cabal-sandbox by coping
the Agda.cabal [1] in some directory and running cabal-sandbox [2] ?

Best,
Mukesh

[1] https://hackage.haskell.org/package/Agda-2.5.4.1/Agda.cabal
[2]
http://coldwa.st/e/blog/2013-08-20-Cabal-sandbox.html#for-the-users-of-cabal-dev

On Mon, Oct 29, 2018 at 2:24 PM Dave Martin <dave.martin at mail.com> wrote:

> ...Update!
>
> The install is FINALLY complete after all these hours! I got the following
> error messages:
>
> Installed idris-1.3.1
> cabal: Error: some packages failed to install:
> Agda-2.5.3 failed during the configure step. The exception was:
> ExitFailure 1
>
> ...That is indeed the version of Agda I'd had; but I've tried opening and
> loading an .agda file into Emacs and so far (haven't tried other commands
> yet) all seems well. Also called up the Idris REPL and everything seems in
> order there too.
>
> Is everything indeed fine? Why the error messages? What has happened
> exactly?
>
> ...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
> > >
> >
> _______________________________________________
> 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/20181029/b00fe96e/attachment.html>