[Agda] Install failure

[gallais at EnsL.org]

My bad: the package name is cabal-install

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