[Agda] Problem installing Agda OS X Mavericks

[Mateusz Kowalczyk]

On 15/01/14 13:37, Wouter Swierstra wrote:
> Dear all,
> 
> I was re-installing Agda on my machine after upgrading my OS and ran into
> the following error message below. It's probably some flaky path setting on
> OS X Mavericks and ghc 7.6.3. Has anyone else run into this? Thanks for any
> advice you might have,
> 
>   Wouter
> 
> [ 77 of 251] Compiling Agda.Syntax.Internal (
> src/full/Agda/Syntax/Internal.hs, dist/build/Agda/Syntax/Internal.o )
> 
> Loading package ghc-prim ... linking ... done.
> 
> Loading package integer-gmp ... linking ... done.
> 
> Loading package base ... linking ... done.
> 
> Loading package array-0.4.0.1 ... linking ... done.
> 
> Loading package deepseq-1.3.0.1 ... linking ... done.
> 
> Loading package bytestring-0.10.0.2 ... linking ... done.
> 
> Loading package zlib-0.5.4.1 ... linking ... done.
> 
> Loading package xhtml-3000.2.1 ... linking ... done.
> 
> Loading package text-0.11.3.1 ... linking ... done.
> 
> Loading package hashable-1.1.2.5 ... linking ... done.
> 
> Loading package unordered-containers-0.2.3.0 ... linking ... done.
> 
> Loading package filepath-1.3.0.1 ... linking ... done.
> 
> Loading package old-locale-1.0.0.5 ... linking ... done.
> 
> Loading package time-1.4.0.1 ... linking ... done.
> 
> Loading package unix-2.6.0.1 ... linking ... done.
> 
> Loading package directory-1.2.0.1 ... linking ... done.
> 
> Loading package process-1.1.0.2 ... linking ... done.
> 
> Loading package containers-0.5.0.0 ... linking ... done.
> 
> Loading package parallel-3.2.0.3 ... linking ... done.
> 
> Loading package old-time-1.1.0.1 ... linking ... done.
> 
> Loading package cpphs-1.17.1 ... linking ... done.
> 
> Loading package pretty-1.1.1.0 ... linking ... done.
> 
> Loading package haskell-src-exts-1.14.0 ... linking ... done.
> 
> Loading package terminfo-0.3.2.6 ... <command line>: can't load .so/.DLL
> for: libncursesw.dylib (dlopen(libncursesw.dylib, 9): image not found)
> 
> Failed to install Agda-2.3.2.2
> 
> cabal: Error: some packages failed to install:
> 
> Agda-2.3.2.2 failed during the building phase. The exception was:
> 
> ExitFailure 1
> 
> 
> 
> _______________________________________________
> Agda mailing list
> Agda at lists.chalmers.se
> https://lists.chalmers.se/mailman/listinfo/agda
> 

It seems that you're missing ncurses library on your system so terminfo
craps out. I don't think this is an Agda issue. Going on a blind guess,
check that you have libncurses installed. If anywhere, I think the
issues should go to terminfo team.

-- 
Mateusz K.