[Agda] Building with GHC 7.4

[Peter Hancock]

On 27/12/2011 17:04, Martin Escardo wrote:
> 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.

Perhaps it isn't relevant to you, but I recently put agda 2.3.1 and
ghc 7.2.2 on ubuntu 11.10.  You *may* have to uninstall some/all of the ghc stuff
that comes with ubuntu.  Then just download the latest ghc unix tarball,
install it, and use (pre-existing) darcs to get the agda development version.
Anyway I managed, without any special voodoo.  Any problems, it's likely $PATH,
and trying to use the wrong cabal executable.
The "-E" flag on sudo is worth looking up.

Certain things won't build with 7.2.2, conspicuously darcs.  (You can continue
to use the ubuntu-supplied version, I think.)  xmonad and lhs2tex work fine.

The same general approach worked fine for me with fedora 15, and on mac osx snow leopard.
YMMV, of course.

Hank