[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