[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