[Agda] Install failure
gallais at EnsL.org
guillaume.allais at ens-lyon.org
Wed Mar 23 13:55:39 CET 2011
[apt-get install libncurses5-dev] should do the trick; Agda's wiki says:
=======================
Non-Windows users need to ensure that the development files for the C
libraries zlib and ncurses are installed (see http://zlib.net and
http://www.gnu.org/software/ncurses/). Your package manager may be
able to install these files for you. For instance, on Debian or Ubuntu
it should suffice to run
apt-get install zlib1g-dev libncurses5-dev
=======================
I hope I haven't forgotten anything else.
--
gallais
On 23 March 2011 13:48, Christoph Herrmann <ch at cs.st-andrews.ac.uk> wrote:
>
> 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