From: Simon M. <sim...@mi...> - 2004-04-13 09:45:38
|
=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] > > [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? Hmmm.... GHCi just uses the system's dynamic linker to link .so files (i.e. dlopen()/dlsym()), so I don't understand why it should behave differently. I'll look into it. Cheers, Simon |