[Agda] installing agda
James Wood
james.wood.100 at strath.ac.uk
Thu Dec 17 23:18:43 CET 2020
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
>
More information about the Agda
mailing list