<div dir="ltr">Dear all,<div><br></div><div>I was re-installing Agda on my machine after upgrading my OS and ran into the following error message below. It&#39;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,</div>
<div><br></div><div>  Wouter</div><div>







<p class="">[ 77 of 251] Compiling Agda.Syntax.Internal ( src/full/Agda/Syntax/Internal.hs, dist/build/Agda/Syntax/Internal.o )</p><p class="">Loading package ghc-prim ... linking ... done.</p>
<p class="">Loading package integer-gmp ... linking ... done.</p>
<p class="">Loading package base ... linking ... done.</p>
<p class="">Loading package array-0.4.0.1 ... linking ... done.</p>
<p class="">Loading package deepseq-1.3.0.1 ... linking ... done.</p>
<p class="">Loading package bytestring-0.10.0.2 ... linking ... done.</p>
<p class="">Loading package zlib-0.5.4.1 ... linking ... done.</p>
<p class="">Loading package xhtml-3000.2.1 ... linking ... done.</p>
<p class="">Loading package text-0.11.3.1 ... linking ... done.</p>
<p class="">Loading package hashable-1.1.2.5 ... linking ... done.</p>
<p class="">Loading package unordered-containers-0.2.3.0 ... linking ... done.</p>
<p class="">Loading package filepath-1.3.0.1 ... linking ... done.</p>
<p class="">Loading package old-locale-1.0.0.5 ... linking ... done.</p>
<p class="">Loading package time-1.4.0.1 ... linking ... done.</p>
<p class="">Loading package unix-2.6.0.1 ... linking ... done.</p>
<p class="">Loading package directory-1.2.0.1 ... linking ... done.</p>
<p class="">Loading package process-1.1.0.2 ... linking ... done.</p>
<p class="">Loading package containers-0.5.0.0 ... linking ... done.</p>
<p class="">Loading package parallel-3.2.0.3 ... linking ... done.</p>
<p class="">Loading package old-time-1.1.0.1 ... linking ... done.</p>
<p class="">Loading package cpphs-1.17.1 ... linking ... done.</p>
<p class="">Loading package pretty-1.1.1.0 ... linking ... done.</p>
<p class="">Loading package haskell-src-exts-1.14.0 ... linking ... done.</p>
<p class="">Loading package terminfo-0.3.2.6 ... &lt;command line&gt;: can&#39;t load .so/.DLL for: libncursesw.dylib (dlopen(libncursesw.dylib, 9): image not found)</p>
<p class="">Failed to install Agda-2.3.2.2</p>
<p class="">cabal: Error: some packages failed to install:</p>
<p class="">Agda-2.3.2.2 failed during the building phase. The exception was:</p>
<p class="">ExitFailure 1</p></div></div>