[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