23 Mar 2011 13:55
Re: Install failure
[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@...> wrote: > > On 23 Mar 2011, at 12:40, gallais <at> 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@...> 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 <at> 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@...> >>>>> wrote: >>>>>> >>>>>> On 23 Mar 2011, at 11:20, gallais <at> 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@...> 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@...g> >>>>>>>> wrote: >>>>>>>>> >>>>>>>>> On 3/22/11 4:19 PM, gallais <at> 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@... >>>>>>>>> https://lists.chalmers.se/mailman/listinfo/agda >>>>>>>>> >>>>>>>> _______________________________________________ >>>>>>>> Agda mailing list >>>>>>>> Agda@... >>>>>>>> https://lists.chalmers.se/mailman/listinfo/agda >>>>>>>> >>>>>>> _______________________________________________ >>>>>>> Agda mailing list >>>>>>> Agda@... >>>>>>> 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@..., c.herrmann@... >>>>>> 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@..., c.herrmann@... >>>> 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@... >>>> 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@..., c.herrmann@... > URL: http://www.cs.st-andrews.ac.uk/~ch > > The University of St Andrews is a charity registered in Scotland: No SC013532 > > > > >
RSS Feed