[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