Opened 3 years ago

Closed 2 years ago

#5551 closed bug (fixed)

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:


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

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

Loading package terminfo- ... can't load .so/.DLL for: ncursesw (/usr/lib/x86_64-linux-gnu/ file too short)

The contents of that file is:

INPUT( -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 (1) (32 bytes) - added by toothbrush 3 years ago.
The linker script which breaks things.

Download all attachments as: .zip

Change History (3)

Changed 3 years ago by toothbrush

The linker script which breaks things.

comment:1 Changed 2 years ago by igloo

  • Milestone set to 7.4.1
  • Owner set to igloo
  • Priority changed from normal to high

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

comment:2 Changed 2 years ago by igloo

  • Resolution set to fixed
  • Status changed from new to closed

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

Note: See TracTickets for help on using tickets.