[Agda] Problem installing Agda OS X Mavericks

[Wouter Swierstra]

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
-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://lists.chalmers.se/pipermail/agda/attachments/20140115/a029f592/attachment.html