> 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.
> Thanks, it was a dangling symlink due to my filesystem layout. Sorry
> for the stupidity.
> 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:
> 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.
>  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.
> 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
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?