[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