[Agda] Install failure

[gallais at EnsL.org]

This is the problem that I had when I started this thread. ;)

The answer was: you have to modify your PATH. I have just added a
page on Agda's wiki (Download > Cabal > Linux) that contains all the
steps and will update it if something is missing (Wiki owner(s), yell at
me if it's not done the right way).

http://wiki.portal.chalmers.se/agda/pmwiki.php?n=Cabal.Linux

--
gallais



On 23 March 2011 14:14, Martin Escardo <m.escardo at cs.bham.ac.uk> wrote:
> Good. I can go a bit further after this, but then I get stuck at
>
> $ cabal install happy haskell-src-exts-1.9.6 Agda
>
> I get:
>
> Linking
> /tmp/haskell-src-exts-1.9.618636/haskell-src-exts-1.9.6/dist/setup/setup ...
> Configuring haskell-src-exts-1.9.6...
> setup: happy version >=1.17 is required but it could not be found.
> cabal: Error: some packages failed to install:
> Agda-2.2.10 depends on haskell-src-exts-1.9.6 which failed to install.
> haskell-src-exts-1.9.6 failed during the configure step. The exception was:
> ExitFailure 1
> mhe at escardo-desktop:~$
>
> The I do:
>
> $ cabal install happy
>
> That works. But then I do
>
> $ cabal install haskell-src-exts-1.9.6
>
> And then get the above error message again.
>
> What have I overlooked this time?
>
> Thanks,
> Martin
>
> On 23/03/11 12:55, gallais @ EnsL.org wrote:
>>
>> [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
>> =======================
>