[Agda] Install failure

gallais at EnsL.org guillaume.allais at ens-lyon.org
Tue Mar 22 20:35:05 CET 2011


Now it is and everything went fine.
Thanks a lot!

--
gallais



On 22 March 2011 20:11, Daniel Peebles <pumpkingod at gmail.com> wrote:
> 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
>
>


More information about the Agda mailing list