Ticket #5551 (closed bug: fixed)

Opened 20 months ago

Last modified 18 months ago

GHCi and linker scripts, part II

Reported by: toothbrush Owned by: igloo
Priority: high Milestone: 7.4.1
Component: GHCi Version: 7.0.4
Keywords: Cc:
Operating System: Linux Architecture: x86_64 (amd64)
Type of failure: Compile-time crash Difficulty:
Test Case: Blocked By:
Blocking: Related Tickets:

Description

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:

$ 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.

Attachments

libncursesw.so Download (32 bytes) - added by toothbrush 20 months ago.
The linker script which breaks things.

Change History

Changed 20 months ago by toothbrush

The linker script which breaks things.

Changed 19 months ago by igloo

  • owner set to igloo
  • priority changed from normal to high
  • milestone set to 7.4.1

Thanks for the report; I'll take a look.

Changed 18 months ago by igloo

  • status changed from new to closed
  • resolution set to fixed

7.0.4 doesn't support INPUT. That was fixed in 7.2.1.

Note: See TracTickets for help on using tickets.