[Agda] 64-bit agda
Manuel M T Chakravarty
chak at cse.unsw.edu.au
Sun Mar 28 12:05:57 CEST 2010
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.
Manuel
More information about the Agda
mailing list