[Agda] Install failure
wren ng thornton
wren at freegeek.org
Wed Mar 23 03:47:30 CET 2011
On 3/22/11 4:19 PM, gallais @ EnsL.org wrote:
> Well, cabal info is still unable to tell me which version of happy I'm using
You should be able to do `which happy` and `happy --version` to find out
(depending on how you mean).
Unfortunately, cabal (actually ghc-pkg, IIRC) can't keep track of which
executables it's installed, it only keeps track of libraries. But then
cabal doesn't strive to be a general package manager for Haskell; it's
more of a replacement for gmake, albeit leaning in the direction of
package managers.
--
Live well,
~wren
More information about the Agda
mailing list