Is your .cabal/bin visible on your PATH?<br><br><div class="gmail_quote">On Tue, Mar 22, 2011 at 3:06 PM, gallais @ EnsL.org <span dir="ltr"><<a href="mailto:guillaume.allais@ens-lyon.org">guillaume.allais@ens-lyon.org</a>></span> wrote:<br>
<blockquote class="gmail_quote" style="margin:0 0 0 .8ex;border-left:1px #ccc solid;padding-left:1ex;">Hi list,<br>
<br>
I am trying to install Agda on my netbook using cabal and it keeps failing<br>
because happy is not found¹. I tried to install it manually² but [cabal info<br>
happy] is not really reassuring given that... it cannot see it :<br>
<br>
cabal info happy<br>
* happy (program)<br>
Synopsis: Happy is a parser generator for Haskell<br>
Latest version available: 1.18.6<br>
Latest version installed: [ Unknown ]<br>
Homepage: <a href="http://www.haskell.org/happy/" target="_blank">http://www.haskell.org/happy/</a><br>
Bug reports: mailto:<a href="mailto:marlowsd@gmail.com">marlowsd@gmail.com</a><br>
Description:<br>
Category: Development<br>
License: BSD3<br>
Author: Andy Gill and Simon Marlow<br>
Maintainer: Simon Marlow <<a href="mailto:marlowsd@gmail.com">marlowsd@gmail.com</a>><br>
Source repo: [ Not specified ]<br>
Executables: happy<br>
Flags: small_base<br>
Dependencies: base >=1.0 && <2.1, containers -any, array -any, base >=2.1,<br>
mtl >=1.0, base <5<br>
Cached: Yes<br>
<br>
Has anyone already encountered such a problem?<br>
<br>
Cheers,<br>
<br>
--<br>
gallais<br>
<br>
¹<br>
cabal install Agda<br>
(...)<br>
setup: happy version >=1.17 is required but it could not be found.<br>
cabal: Error: some packages failed to install:<br>
Agda-2.2.10 depends on haskell-src-exts-1.9.6 which failed to install.<br>
haskell-src-exts-1.9.6 failed during the configure step. The exception was:<br>
ExitFailure 1<br>
<br>
²<br>
cabal install happy<br>
Resolving dependencies...<br>
[1 of 1] Compiling Main (<br>
/tmp/happy-1.18.63596/happy-1.18.6/Setup.lhs,<br>
/tmp/happy-1.18.63596/happy-1.18.6/dist/setup/Main.o )<br>
<br>
/tmp/happy-1.18.63596/happy-1.18.6/Setup.lhs:6:51:<br>
Warning: In the use of `buildVerbose'<br>
(imported from Distribution.Simple.Setup):<br>
Deprecated: "Use buildVerbosity instead"<br>
<br>
/tmp/happy-1.18.63596/happy-1.18.6/Setup.lhs:7:51:<br>
Warning: In the use of `defaultUserHooks'<br>
(imported from Distribution.Simple):<br>
Deprecated: "Use simpleUserHooks or autoconfUserHooks,<br>
unless you need Cabal-1.2<br>
compatibility in which case you must stick with defaultUserHooks"<br>
Linking /tmp/happy-1.18.63596/happy-1.18.6/dist/setup/setup ...<br>
Warning: defaultUserHooks in Setup script is deprecated.<br>
Configuring happy-1.18.6...<br>
Preprocessing executables for happy-1.18.6...<br>
Building happy-1.18.6...<br>
[ 1 of 18] to [18 of 18] without any problem<br>
Linking dist/build/happy/happy ...<br>
Installing executable(s) in /home/gallais/.cabal/bin<br>
_______________________________________________<br>
Agda mailing list<br>
<a href="mailto:Agda@lists.chalmers.se">Agda@lists.chalmers.se</a><br>
<a href="https://lists.chalmers.se/mailman/listinfo/agda" target="_blank">https://lists.chalmers.se/mailman/listinfo/agda</a><br>
</blockquote></div><br>