[Agda] Install failure

Wed Mar 23 13:40:29 CET 2011

Have you tried to install terminfo-0.3.1.3 manually (cabal install
terminfo-0.3.1.3)?
 This is what I did to overcome the same kind of error message with happy.

--
gallais

On 23 March 2011 13:36, Martin Escardo <m.escardo at cs.bham.ac.uk> wrote:
> I got the same error message reported below, under ubuntu 10.04. I would
> like to use the new syntax to define binders, but I am still in Agda 2
> version 2.1.3, with no luck getting the newest version. What should I do to
> overcome this error? Thanks, Martin
>
> On 23/03/11 12:22, Christoph Herrmann wrote:
>>
>> Hi,
>>
>> On 23 Mar 2011, at 12:05, gallais @ EnsL.org wrote:
>>
>>> My bad: the package name is cabal-install
>>
>> got a step further, but then:
>>
>> Registering zlib-0.5.3.1...
>> cabal: Error: some packages failed to install:
>> Agda-2.2.10 depends on terminfo-0.3.1.3 which failed to install.
>> haskeline-0.6.4.0 depends on terminfo-0.3.1.3 which failed to install.
>> haskell-src-exts-1.9.6 failed during the configure step. The exception
>> was:
>> ExitFailure 1
>> terminfo-0.3.1.3 failed during the configure step. The exception was:
>> ExitFailure 1
>> ---------
>> This is just to demonstrate that it is not at all simple to install!
>>
>> I will end this conversation now and continue with my own
>> more or less random hacks and hoping for good luck to get
>> a working version of Agda again.
>>
>> Cheers
>>
>>>
>>> --
>>> gallais
>>>
>>>
>>>
>>> On 23 March 2011 12:53, Christoph Herrmann<ch at cs.st-andrews.ac.uk>
>>>  wrote:
>>>>
>>>> On 23 Mar 2011, at 11:20, gallais @ EnsL.org wrote:
>>>>
>>>>> An improvement could maybe be to split the document into 3
>>>>> installation instructions
>>>>> files, each one targeting a specific OS? If you want to install Agda
>>>>> on a brand new
>>>>> squeeze and don't want to touch to the source code, you basically need
>>>>> to do:
>>>>>
>>>>> [As root] apt-get install zlib1g-dev cabal emacs ghc6 haskell-mode
>>>>
>>>> cabal can not be found by apt-get, neither on MacOSX nor on Ubuntu-Linux
>>>> 10.10:
>>>> ---
>>>> ubuntu:~$ sudo apt-get install zlib1g-dev cabal emacs ghc6 haskell-mode
>>>> Reading package lists... Done
>>>> Building dependency tree
>>>> Reading state information... Done
>>>> E: Unable to locate package cabal
>>>> ---
>>>> Yes, I upgraded and updated apt-get before.
>>>>
>>>> So, it is not that simple.
>>>>
>>>> Cheers
>>>>
>>>>> [Add to your .bashrc as user] export PATH=$PATH:/home/user/.cabal/bin
>>>>> [As user] cabal update
>>>>> [As user] cabal install happy haskell-src-exts-1.9.6 Agda
>>>>> [As user] agda-mode setup
>>>>>
>>>>> The only counter-intuitive thing to do being that you need to modify
>>>>> your path (even
>>>>> if it is cabal that chose to put the binaries in this directory)..
>>>>>
>>>>> Cheers,
>>>>>
>>>>> --
>>>>> gallais
>>>>>
>>>>>
>>>>>
>>>>> On 23 March 2011 10:27, Bengt Nordstrom<bengt at chalmers.se>  wrote:
>>>>>>
>>>>>> The general situation seem to be that we have a good way to install
>>>>>> Agda for (experienced) Haskell programmers.
>>>>>>
>>>>>> But it would be nice if it was easy for people who (like myself) know
>>>>>> nothing about cabal, happy etc to install the system.
>>>>>> As a naive person, I would like to have a one click install for each
>>>>>> of the major operating systems. How can we achieve this?
>>>>>> The current descriptions of the process takes more than a page and a
>>>>>> lot of alternatives.
>>>>>>
>>>>>> In fact, it would be nice to have a zero click install: You should be
>>>>>> able to load and edit Agda programs in your browser. Is anybody
>>>>>> working on this?
>>>>>>
>>>>>> Best regards,
>>>>>> Bengt
>>>>>>
>>>>>> On Wed, Mar 23, 2011 at 3:47 AM, wren ng thornton<wren at freegeek.org>
>>>>>>  wrote:
>>>>>>>
>>>>>>> On 3/22/11 4:19 PM, gallais @ EnsL.org wrote:
>>>>>>>>
>>>>>>>> Well, cabal info is still unable to tell me which version of happy
>>>>>>>> I'm using
>>>>>>>
>>>>>>> You should be able to do `which happy` and `happy --version` to find
>>>>>>> out
>>>>>>> (depending on how you mean).
>>>>>>>
>>>>>>> Unfortunately, cabal (actually ghc-pkg, IIRC) can't keep track of
>>>>>>> which
>>>>>>> executables it's installed, it only keeps track of libraries. But
>>>>>>> then
>>>>>>> cabal doesn't strive to be a general package manager for Haskell;
>>>>>>> it's
>>>>>>> more of a replacement for gmake, albeit leaning in the direction of
>>>>>>> package managers.
>>>>>>>
>>>>>>> --
>>>>>>> Live well,
>>>>>>> ~wren
>>>>>>> _______________________________________________
>>>>>>> Agda mailing list
>>>>>>> Agda at lists.chalmers.se
>>>>>>> https://lists.chalmers.se/mailman/listinfo/agda
>>>>>>>
>>>>>> _______________________________________________
>>>>>> Agda mailing list
>>>>>> Agda at lists.chalmers.se
>>>>>> https://lists.chalmers.se/mailman/listinfo/agda
>>>>>>
>>>>> _______________________________________________
>>>>> Agda mailing list
>>>>> Agda at lists.chalmers.se
>>>>> https://lists.chalmers.se/mailman/listinfo/agda
>>>>
>>>> --
>>>>  Dr. Christoph Herrmann
>>>>  University of St Andrews, Scotland/UK
>>>>  phone: office: +44 1334 461629, home: +44 1334 478648
>>>>  email: ch at cs.st-andrews.ac.uk,  c.herrmann at virgin.net
>>>>  URL:   http://www.cs.st-andrews.ac.uk/~ch
>>>>
>>>>  The University of St Andrews is a charity registered in Scotland: No
>>>> SC013532
>>>>
>>>>
>>>>
>>>>
>>>>
>>
>> --
>>  Dr. Christoph Herrmann
>>  University of St Andrews, Scotland/UK
>>  phone: office: +44 1334 461629, home: +44 1334 478648
>>  email: ch at cs.st-andrews.ac.uk,  c.herrmann at virgin.net
>>  URL:   http://www.cs.st-andrews.ac.uk/~ch
>>
>>  The University of St Andrews is a charity registered in Scotland: No
>> SC013532
>>
>>
>>
>>
>> _______________________________________________
>> Agda mailing list
>> Agda at lists.chalmers.se
>> https://lists.chalmers.se/mailman/listinfo/agda
>