[Agda] 64-bit agda

[Guillaume Allais]

Hi James,

I struggled a couple of days before managing to install the latest version
of agda on my debian (testing). Installing ghc 6.12 (thanks to the unstable
depositories) worked well for me.

Cheers,

--
gallais


On 1 April 2010 19:13, James Chapman <james at cs.ioc.ee> wrote:

> Does the development version of Agda require ghc 6.12?
>
> I tried the haskell-platfrom from macports. When I tried to 'cabal
> install' Agda it told me that it requires Cabal => 1.8.02 && <1.9  so
> I upgraded Cabal to 1.8.0.4. Now I get the following error when trying
> to 'cabal install' Agda:
>
> $ cabal install
> Resolving dependencies...
> cabal: dependencies conflict: ghc-6.10.4 requires Cabal ==1.6.0.3 however
> Cabal-1.6.0.3 was excluded because Cabal-1.8.0.4 was selected instead
> Cabal-1.6.0.3 was excluded because Agda-2.2.7 requires Cabal >=1.8.0.2 &&
> <1.9
>
> Any thoughts?
>
> James
>
> On Mon, Mar 29, 2010 at 12:06 PM, Sean Leather <leather at cs.uu.nl> wrote:
> > 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
> >
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20100401/9904a879/attachment.html