[Agda] Problems installing the standard library

[Nils Anders Danielsson]

On 2010-07-10 09:48, Robert Rothenberg wrote:
> I am trying to install the standard library. When I run
>
>    runhaskell Setup.hs configure

You don't need to do this in order to use the library, see README.txt.

> I get the error
>
>    Configuring lib-0.0...
>    Setup.hs: At least the following dependencies are missing:
>    FileManip ==0.3.*
>
> but FileManip 0.3.2 is installed already.

Are you sure? Run "ghc-pkg list" to check.

If you use "cabal install" instead, then dependencies should be
downloaded and installed automatically.

--
/NAD