[Agda] install trouble

[Nils Anders Danielsson]

On 2009-02-23 16:58, Nils Anders Danielsson wrote:
> Agda can now be built and installed using "make install" (on some
> systems).

Someone wanted to know which systems make install works on. The system
needs to have the right prerequisites installed, and some other tools
(like Make) that are often present on Unix-like systems. See the README:
http://code.haskell.org/Agda/README.

-- 
/NAD

This message has been checked for viruses but the contents of an attachment
may still contain software viruses, which could damage your computer system:
you are advised to perform your own checks. Email communications with the
University of Nottingham may be monitored as permitted by UK legislation.