Ticket #5551 (closed bug: fixed)
GHCi and linker scripts, part II
|Reported by:||toothbrush||Owned by:||igloo|
|Operating System:||Linux||Architecture:||x86_64 (amd64)|
|Type of failure:||Compile-time crash||Difficulty:|
|Test Case:||Blocked By:|
This bug seems exactly like #2615, but here goes. Ran into this trying to use Agda-mode for emacs, which didn't work. Turns out it's ghci failing to load libncursesw.so.
My system is Debian x64 testing, with agda installed from cabal and ghc-7.0.4. Steps to reproduce for me:
:set -package Agda-2.2.10
[snip] Loading package terminfo-0.3.2.2 ... can't load .so/.DLL for: ncursesw (/usr/lib/x86_64-linux-gnu/libncursesw.so: file too short)
The contents of that file is:
In the referenced bug I saw that a trick to fix it might be to append many newlines to the linker script (which I did), which solicits an "invalid ELF header" error, but ghci still fails.