[Agda] Building with GHC 7.4
Martin Escardo
m.escardo at cs.bham.ac.uk
Tue Dec 27 18:04:19 CET 2011
I meant 7.0.3. I tried in vain to compile Agda 2.3.0 with cabal or the
tar file or darcs in ubuntu 11.10, with lots of dependency problems with
complaints that the required versions of various things could not be
installed. I did compile, as I said, agda 2.3.0 in an earlier version of
ubuntu (with ghc 6.?) and copied it over to ubuntu 11.10.
On 27/12/11 15:46, Nils Anders Danielsson wrote:
> On 2011-12-22 23:20, Martin Escardo wrote:
>> I use different machines with different versions of ubuntu. What I did
>> in order to be able to have agda 2.3.0 in the latest version of ubuntu
>> (which has GHC 7.4) was to build it in an older version of ubuntu
>> (with an older version of GHC), and then copy the .cabal directory
>> from the old version to the new one, and this worked.
>
> GHC 7.4 has not been released yet.
>
--
Martin Escardo
http://www.cs.bham.ac.uk/~mhe
More information about the Agda
mailing list