<div dir="ltr"><div>Dear Patricia,</div><div><br></div><div>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 <a href="https://github.com/agda/agda/issues/4521">https://github.com/agda/agda/issues/4521</a>. As a workaround, you can try to `cabal fetch` the source code and then manually edit `Agda.cabal` by removing the two flags `<code>-fexpose-all-unfoldings`</code> and `<code>-fspecialise-aggressively`. <font face="arial,sans-serif">(Perhaps someone else knows of an easier way to do that?)</font></code></div><div><code><font face="arial,sans-serif"><br></font></code></div><div><code><font face="arial,sans-serif">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 <a href="https://github.com/agda/agda/pull/5086">https://github.com/agda/agda/pull/5086</a> merged in quickly and have a minor release soon to fix the problem.</font></code></div><div><code><font face="arial,sans-serif"><br></font></code></div><div><code><font face="arial,sans-serif">Best,</font></code></div><div><code><font face="arial,sans-serif">Jesper<br></font></code></div></div><br><div class="gmail_quote"><div dir="ltr" class="gmail_attr">On Thu, Dec 17, 2020 at 11:19 PM James Wood <<a href="mailto:james.wood.100@strath.ac.uk">james.wood.100@strath.ac.uk</a>> wrote:<br></div><blockquote class="gmail_quote" style="margin:0px 0px 0px 0.8ex;border-left:1px solid rgb(204,204,204);padding-left:1ex">Hi Patricia,<br>
<br>
The apparent stall at exactly this point in the installation is a known <br>
problem. You really may have to wait a few hours with it not printing <br>
anything.<br>
<br>
All the best,<br>
James<br>
<br>
On 17/12/2020 20:24, Patricia Peratto wrote:<br>
> CAUTION: This email originated outside the University. Check before <br>
> clicking links or attachments.<br>
> I have installed the following software:<br>
> <br>
> ghc version 8.6.5<br>
> cabal version 2.4.1.0<br>
> emacs for windows 27.1<br>
> <br>
> When I execute cabal update it finishes.<br>
> I have  executed cabal install Agda many times.<br>
> <br>
> the last time has answered:<br>
> <br>
> Starting      Agda-2.6.1.2<br>
> Building    Agda-2.6.1.2<br>
> <br>
> and lasts hours without finishing.<br>
> <br>
> I'm missing some step in the installation?<br>
> <br>
> Regards,<br>
> Patricia<br>
> <br>
> _______________________________________________<br>
> Agda mailing list<br>
> <a href="mailto:Agda@lists.chalmers.se" target="_blank">Agda@lists.chalmers.se</a><br>
> <a href="https://lists.chalmers.se/mailman/listinfo/agda" rel="noreferrer" target="_blank">https://lists.chalmers.se/mailman/listinfo/agda</a><br>
> <br>
_______________________________________________<br>
Agda mailing list<br>
<a href="mailto:Agda@lists.chalmers.se" target="_blank">Agda@lists.chalmers.se</a><br>
<a href="https://lists.chalmers.se/mailman/listinfo/agda" rel="noreferrer" target="_blank">https://lists.chalmers.se/mailman/listinfo/agda</a><br>
</blockquote></div>