[Agda] Install failure

Daniel Peebles pumpkingod at gmail.com
Tue Mar 22 20:11:31 CET 2011


Is your .cabal/bin visible on your PATH?

On Tue, Mar 22, 2011 at 3:06 PM, gallais @ EnsL.org <
guillaume.allais at ens-lyon.org> wrote:

> Hi list,
>
> I am trying to install Agda on my netbook using cabal and it keeps failing
> because happy is not found¹. I tried to install it manually² but [cabal
> info
> happy] is not really reassuring given that... it cannot see it :
>
> cabal info happy
> * happy            (program)
>    Synopsis:      Happy is a parser generator for Haskell
>    Latest version available: 1.18.6
>    Latest version installed: [ Unknown ]
>    Homepage:      http://www.haskell.org/happy/
>    Bug reports:   mailto:marlowsd at gmail.com
>    Description:
>    Category:      Development
>    License:       BSD3
>    Author:        Andy Gill and Simon Marlow
>    Maintainer:    Simon Marlow <marlowsd at gmail.com>
>    Source repo:   [ Not specified ]
>    Executables:   happy
>    Flags:         small_base
>    Dependencies:  base >=1.0 && <2.1, containers -any, array -any, base
> >=2.1,
>                   mtl >=1.0, base <5
>    Cached:        Yes
>
> Has anyone already encountered such a problem?
>
> Cheers,
>
> --
> gallais
>
> ¹
> cabal install Agda
> (...)
> setup: happy version >=1.17 is required but it could not be found.
> cabal: Error: some packages failed to install:
> Agda-2.2.10 depends on haskell-src-exts-1.9.6 which failed to install.
> haskell-src-exts-1.9.6 failed during the configure step. The exception was:
> ExitFailure 1
>
> ²
> cabal install happy
> Resolving dependencies...
> [1 of 1] Compiling Main             (
> /tmp/happy-1.18.63596/happy-1.18.6/Setup.lhs,
> /tmp/happy-1.18.63596/happy-1.18.6/dist/setup/Main.o )
>
> /tmp/happy-1.18.63596/happy-1.18.6/Setup.lhs:6:51:
>    Warning: In the use of `buildVerbose'
>             (imported from Distribution.Simple.Setup):
>             Deprecated: "Use buildVerbosity instead"
>
> /tmp/happy-1.18.63596/happy-1.18.6/Setup.lhs:7:51:
>    Warning: In the use of `defaultUserHooks'
>             (imported from Distribution.Simple):
>             Deprecated: "Use simpleUserHooks or autoconfUserHooks,
> unless you need Cabal-1.2
>             compatibility in which case you must stick with
> defaultUserHooks"
> Linking /tmp/happy-1.18.63596/happy-1.18.6/dist/setup/setup ...
> Warning: defaultUserHooks in Setup script is deprecated.
> Configuring happy-1.18.6...
> Preprocessing executables for happy-1.18.6...
> Building happy-1.18.6...
> [ 1 of 18] to [18 of 18] without any problem
> Linking dist/build/happy/happy ...
> Installing executable(s) in /home/gallais/.cabal/bin
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
>
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20110322/8ebf0d4b/attachment.html


More information about the Agda mailing list