Skip to content

GHCi and linker scripts, part II

This bug seems exactly like #2615 (closed), 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:

$ ghci

: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:

INPUT(libncursesw.so.5 -ltinfo)

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.

Trac metadata
Trac field Value
Version 7.0.4
Type Bug
TypeOfFailure OtherFailure
Priority normal
Resolution Unresolved
Component GHCi
Test case
Differential revisions
BlockedBy
Related
Blocking
CC
Operating system
Architecture
To upload designs, you'll need to enable LFS and have an admin enable hashed storage. More information