[Agda] Install failure

Martin Escardo m.escardo at cs.bham.ac.uk
Wed Mar 23 14:59:22 CET 2011


On 23/03/11 13:22, gallais @ EnsL.org wrote:
> This is the problem that I had when I started this thread. ;)
>
> The answer was: you have to modify your PATH. I have just added a
> page on Agda's wiki (Download>  Cabal>  Linux) that contains all the
> steps and will update it if something is missing (Wiki owner(s), yell at
> me if it's not done the right way).

I did modify my path when you told us to do that. But I forgot to do 
"source .bashrc".

I also needed to install alex, which is not in your wiki.

After this it worked, but I haven't tested it yet - I have a meeting now.

> http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Cabal.Linux

Thanks for that.

Martin


More information about the Agda mailing list