[Agda] Installing Idris without breaking Agda

[András Kovács]

Hi,

I do not recommend installing either Agda or Idris with cabal (if you just
want to use them), instead install stack
<https://docs.haskellstack.org/en/stable/README/>, then do "stack install
Agda" and "stack install Idris", and add "~/.local/bin" to PATH.

As to the Agda installation failure, I think you need to install alex and
happy first, and you can also do this with "stack install alex" and "stack
install happy".


Dave Martin <dave.martin at mail.com> ezt írta (időpont: 2018. okt. 29., H,
7:50):

> Yet another update: Idris was here; now it's gone!
>
> I had apparent success installing Idris in this manner. (I even managed to
> get Emacs idris-mode up and working, which seems like a minor miracle given
> my abilities.) But after restarting my computer, it seems Idris is gone! No
> REPL; Emacs idris-mode highlights text as you type but cannot find Idris to
> load the buffers. Typing "idris" in the command line gets you
>
> idris: command not found
>
> ...In response I tried
>
> cabal install idris
>
> ...again, wherein I got
>
> Resolving dependencies...
> All the requested packages are already installed:
> idris-1.3.1
> Use --reinstall if you want to reinstall anyway.
>
> ...How strange! Well I did
>
> cabal install idris --reinstall
>
> ...and received
>
> Resolving dependencies...
> In order, the following will be installed:
> idris-1.3.1 (reinstall)
> Warning: Note that reinstalls are always dangerous. Continuing anyway...
> Configuring idris-1.3.1...
> Building idris-1.3.1...
>
> ...where things stand, apparently midprocess with no further messages, to
> this minute. What accounts for the strange behavior? Should I be concerned?
>
>
>
>
> ----------
>
> ...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/d9073a25/attachment.html>