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 the symbols which aren't needed for relocation processing.) Shared libraries can function perfectly well when stripped, since the symbols for dynamic linking are in a separate part of the ELF object file.[1]
[1] You might also want to use the options `--remove-section=.comment' and `--remove-section=.note' on both shared libraries and 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 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