[Agda] Install failure

Christoph Herrmann ch at cs.st-andrews.ac.uk
Wed Mar 23 13:48:41 CET 2011


On 23 Mar 2011, at 12:40, gallais @ EnsL.org wrote:

> 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.

I have:  curses headers could not be found, so this package cannot be built
What I said: individual hacks required

> 
> --
> 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
>> 

--
 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






More information about the Agda mailing list