From: Simon M. <sim...@mi...> - 2004-04-13 14:53:40
|
=20 > On Fri, Apr 02, 2004 at 01:59:08PM +0100, Simon Marlow wrote: > > Very strange. Is /usr/lib/libdl.so perhaps a symlink to a=20 > library that > > doesn't exist? That could happen if an upgrade had gone=20 > wrong, perhaps. >=20 > Thanks, it was a dangling symlink due to my filesystem layout. Sorry > for the stupidity. >=20 > But it still won't run, because (apparently) ghci won't work with > stripped .so files, and Debian policy is to strip them. From the > Debian policy manual, section 10.2: >=20 > All installed shared libraries should be stripped with > strip --strip-unneeded <your-lib> > (The option `--strip-unneeded' makes `strip' remove only=20 > the symbols > which aren't needed for relocation processing.) Shared=20 > libraries can > function perfectly well when stripped, since the symbols=20 > for dynamic > linking are in a separate part of the ELF object file.[1] >=20 > [1] You might also want to use the options=20 > `--remove-section=3D.comment' and > `--remove-section=3D.note' on both shared libraries and=20 > executables, and > `--strip-debug' on static libraries. >=20 > Any chance of fixing this in ghci, or do I have to keep an extra copy > of wxwidgets installed? What tool does ghci use for its dynamic > loading? I tried stripping /usr/lib/libwx_gtk-2.4.so.0.1.1 and libwxc-0.6.so, and GHCi was still able to load the wx package successfully. In fact, libwx_gtk appeared to be already stripped. What error messages do you get, specifically? Cheers, Simon |