[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