[Agda] Building with GHC 7.4

Nils Anders Danielsson nad at chalmers.se
Tue Dec 27 16:46:24 CET 2011


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.

-- 
/NAD


More information about the Agda mailing list