[Agda] Borring question: Cabal, compiling for linux-ppc

Ulf Norell ulfn at cs.chalmers.se
Mon May 19 13:18:19 CEST 2008


On Mon, May 19, 2008 at 11:43 AM, Pierre Hyvernat <
pierre.hyvernat at univ-savoie.fr> wrote:

> Hello to all,
>
> I am currently trying to compile Agda-2 for my old
> ibook G3 running debian unstable.
> (That way, I'll be able to take Agda with me...)
>
>
> Due to some problems with the ghc maintainer for
> linux-ppc, ghc doesn't seem to have an interactive mode
> on this architecture...
> As a result, I cannot use the normal
>
>  runhaskell Setup.hs configure
>  ...


You can compile Setup.hs:

ghc --make Setup.hs
./Setup configure

Also, not having the interactive mode for ghc means you won't be able to run
the Agda emacs-mode.

/ Ulf
-------------- next part --------------
An HTML attachment was scrubbed...
URL: https://lists.chalmers.se/mailman/private/agda/attachments/20080519/2d917d51/attachment.html


More information about the Agda mailing list