[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