[Agda] installing agda

[Jesper Cockx]

Dear Patricia,

There is a known problem with the current release of Agda that is
unfortunately still open and causes Agda installation to use very high
amounts of memory which can slow down installation to a crawl on some
machines, see https://github.com/agda/agda/issues/4521. As a workaround,
you can try to `cabal fetch` the source code and then manually edit
`Agda.cabal` by removing the two flags `-fexpose-all-unfoldings` and
`-fspecialise-aggressively`.
(Perhaps someone else knows of an easier way to do that?)

I'm really sorry for this problem, especially as you could say I caused it
in the first place by adding these flags (with good intentions). I hope we
can get https://github.com/agda/agda/pull/5086 merged in quickly and have a
minor release soon to fix the problem.

Best,
Jesper

On Thu, Dec 17, 2020 at 11:19 PM James Wood <james.wood.100 at strath.ac.uk>
wrote:

> Hi Patricia,
>
> The apparent stall at exactly this point in the installation is a known
> problem. You really may have to wait a few hours with it not printing
> anything.
>
> All the best,
> James
>
> On 17/12/2020 20:24, Patricia Peratto wrote:
> > CAUTION: This email originated outside the University. Check before
> > clicking links or attachments.
> > I have installed the following software:
> >
> > ghc version 8.6.5
> > cabal version 2.4.1.0
> > emacs for windows 27.1
> >
> > When I execute cabal update it finishes.
> > I have  executed cabal install Agda many times.
> >
> > the last time has answered:
> >
> > Starting      Agda-2.6.1.2
> > Building    Agda-2.6.1.2
> >
> > and lasts hours without finishing.
> >
> > I'm missing some step in the installation?
> >
> > Regards,
> > Patricia
> >
> > _______________________________________________
> > 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/20201218/401f5f14/attachment.html>