[Agda] 64-bit agda

[Sean Leather]

Manuel M T Chakravarty:

> James Chapman:
> > Is it possible to compile Agda as a 64-bit binary using ghc 6.12 on OS
> > X Leopard/Snow Leopard or some other combination?
> >
> > The reason I ask is I am hoping that this will allow Agda to use more
> > than 4Gb of RAM on my machine.
>
> I haven't tried to compile Agda that way, but the latest Haskell Platform
> release is available with 6.12 in MacPorts and it supposedly compiles a
> 64-bit GHC:
>
>  http://hackage.haskell.org/platform/mac.html
>
> If you get Agda to compile with that, you should have a 64-bit Agda.
>

Minor correction: The ghc port in MacPorts (used by the haskell-platform
port) is version 6.10.4.


http://www.haskell.org/pipermail/glasgow-haskell-users/2010-March/018629.html
  http://www.macports.org/ports.php?by=library&substr=ghc

Sean
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20100329/216d8ec1/attachment.html