[Agda] Agda on ghc-7.6.2-candidate
Andrés Sicard-Ramírez
andres.sicard.ramirez at gmail.com
Thu Jan 10 13:56:08 CET 2013
On Thu, Jan 10, 2013 at 3:15 AM, Serge D. Mechveliani <mechvel at botik.ru> wrote:
> Hello,
>
> This is on installing Agda-2.3.2, MAlonzo on ghc-7.6.2-pre.
>
> ghc-7.6.2 is coming and asks for testing its candidate
> ghc-7.6.1.20121207.
> So, I have tried to install Agda-2.3.2, MAlonzo from source on
> ghc-7.6.1.20121207,
> -- with ghc-7.6.1.20121207 made from source on Debian Linux.
>
> Everything looks as installed, but the final use of
>
> agda -c $agdaLibOpt Main.agda
>
> reports
> ...
> ...
> Compiling Level ...
> No such file ... not found FFI.IO
> ~~~~~~~~~~~~
>From the README.agda of the Agda standard library:
-- To compile the library using the MAlonzo compiler you first need to
-- install some supporting Haskell code, for instance as follows:
--
-- cd ffi
-- cabal install
--
Andrés
More information about the Agda
mailing list