Agda fails to install
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? Dominic.
cabal: Error: some packages failed to install: Agda-2.2.6 depends on haskell-src-1.0.1.3 which failed to install. haskell-src-1.0.1.3 failed during the building phase. The exception was: ExitFailure 1
Hi Dominic,
I thought cabal was supposed to relieve me of this sort of dependency chasing?
See http://hackage.haskell.org/trac/hackage/ticket/227 Executive summary: cabal doesn't do dependency chasing for build tool dependencies (yet), only package dependencies. Cheers, /Niklas
On Sat, 27 Mar 2010 09:26:52 +0000, Dominic Steinitz
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: http://hackage.haskell.org/platform/ Regards, -- Nicolas Pouillard http://nicolaspouillard.fr
participants (3)
-
Dominic Steinitz -
Nicolas Pouillard -
Niklas Broberg