[Agda] Agda on ghc-7.6.2-candidate
Serge D. Mechveliani
mechvel at botik.ru
Thu Jan 10 16:04:03 CET 2013
On Thu, Jan 10, 2013 at 07:56:08AM -0500, Andr??s Sicard-Ram??rez wrote:
> 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
Yes, I have done this before applying agda -c $agdaLibOpt Main.agda
Anyone tried MAlonzo under ghc-7.6.1.20121207 ?
Regards,
------
Sergei
More information about the Agda
mailing list