Agda fails to install

Nicolas Pouillard nicolas.pouillard at
Mon Mar 29 04:01:26 EDT 2010

On Sat, 27 Mar 2010 09:26:52 +0000, Dominic Steinitz <dominic at> wrote:
> I'm guessing if I install happy then haskell-src will install and the
> agda will install but I'm not clear why this doesn't happen
> automatically. Hmm even installing happy doesn't seem to improve
> things.  Aha su-ing and then installing happy with the --global flag did
> the trick. But now I have the same problem with alex :-) Ok now
> everything builds.
> I thought cabal was supposed to relieve me of this sort of dependency
> chasing?

cabal-install mostly does this job. However to install a good chunk of initial
libraries and tool in one go, I sugest you to try the Haskell Platform:


Nicolas Pouillard

More information about the Libraries mailing list