[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