[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