[Agda] Install failure
gallais at EnsL.org
guillaume.allais at ens-lyon.org
Tue Mar 22 20:06:38 CET 2011
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
More information about the Agda
mailing list