[Agda] Agda beginner's problem

[Christian Sternagel]

Manually creating a symlink by the name libncursesw.so worked! Thanks a lot.

cheers

chris

On 05/13/2011 02:21 PM, Andrea Vezzosi wrote:
> On Fri, May 13, 2011 at 1:45 PM, Christian Sternagel
> <christian.sternagel at uibk.ac.at>  wrote:
>> Wow. That was fast. Thanks for the hint with C-G (I do not use emacs that
>> often). In the ghci buffer I found
>>
>> Loading package terminfo-0.3.1.3 ... can't load .so/.DLL for: ncursesw
>> (/usr/lib64/libncursesw.so: file too short)
>
> This usually happens when /usr/lib64/libncursesw.so is a linker script
> rather than the actual lib, the linker used by ghci can't handle
> those.
>
>> But I don't know what I can do about it.
>
> I'd usually make /usr/lib64/libncursesw.so a symlink to the actual
> library, which should be named like /usr/lib64/libncursesw.so.x.y.z
> where x, y and z are the components of the version number.
> This is not the cleanest solution since you're messing with files
> managed by your distro, but it's been effective for me.
>
> The good news is that they seem to have fixed this bug in these days
> http://hackage.haskell.org/trac/ghc/ticket/2615
>