Hi James,<br><br>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.<br><br>Cheers,<br><br>
--<br clear="all">gallais<br>
<br><br><div class="gmail_quote">On 1 April 2010 19:13, James Chapman <span dir="ltr"><<a href="mailto:james@cs.ioc.ee">james@cs.ioc.ee</a>></span> wrote:<br><blockquote class="gmail_quote" style="border-left: 1px solid rgb(204, 204, 204); margin: 0pt 0pt 0pt 0.8ex; padding-left: 1ex;">
Does the development version of Agda require ghc 6.12?<br>
<br>
I tried the haskell-platfrom from macports. When I tried to 'cabal<br>
install' Agda it told me that it requires Cabal => 1.8.02 && <1.9 so<br>
I upgraded Cabal to 1.8.0.4. Now I get the following error when trying<br>
to 'cabal install' Agda:<br>
<br>
$ cabal install<br>
Resolving dependencies...<br>
cabal: dependencies conflict: ghc-6.10.4 requires Cabal ==1.6.0.3 however<br>
Cabal-1.6.0.3 was excluded because Cabal-1.8.0.4 was selected instead<br>
Cabal-1.6.0.3 was excluded because Agda-2.2.7 requires Cabal >=1.8.0.2 && <1.9<br>
<br>
Any thoughts?<br>
<font color="#888888"><br>
James<br>
</font><div><div></div><div class="h5"><br>
On Mon, Mar 29, 2010 at 12:06 PM, Sean Leather <<a href="mailto:leather@cs.uu.nl">leather@cs.uu.nl</a>> wrote:<br>
> Manuel M T Chakravarty:<br>
>><br>
>> James Chapman:<br>
>> > Is it possible to compile Agda as a 64-bit binary using ghc 6.12 on OS<br>
>> > X Leopard/Snow Leopard or some other combination?<br>
>> ><br>
>> > The reason I ask is I am hoping that this will allow Agda to use more<br>
>> > than 4Gb of RAM on my machine.<br>
>><br>
>> I haven't tried to compile Agda that way, but the latest Haskell Platform<br>
>> release is available with 6.12 in MacPorts and it supposedly compiles a<br>
>> 64-bit GHC:<br>
>><br>
>> <a href="http://hackage.haskell.org/platform/mac.html" target="_blank">http://hackage.haskell.org/platform/mac.html</a><br>
>><br>
>> If you get Agda to compile with that, you should have a 64-bit Agda.<br>
><br>
> Minor correction: The ghc port in MacPorts (used by the haskell-platform<br>
> port) is version 6.10.4.<br>
><br>
><br>
> <a href="http://www.haskell.org/pipermail/glasgow-haskell-users/2010-March/018629.html" target="_blank">http://www.haskell.org/pipermail/glasgow-haskell-users/2010-March/018629.html</a><br>
> <a href="http://www.macports.org/ports.php?by=library&substr=ghc" target="_blank">http://www.macports.org/ports.php?by=library&substr=ghc</a><br>
><br>
> Sean<br>
><br>
</div></div><div><div></div><div class="h5">_______________________________________________<br>
Agda mailing list<br>
<a href="mailto:Agda@lists.chalmers.se">Agda@lists.chalmers.se</a><br>
<a href="https://lists.chalmers.se/mailman/listinfo/agda" target="_blank">https://lists.chalmers.se/mailman/listinfo/agda</a><br>
</div></div></blockquote></div><br>