Thomas Shackell wrote:
As for the issue of shared libraries, raised by someone else, no they
aren't strictly necessary, indeed I'll add a patch to optionally remove
them (should take about 2 minutes).
Done :-) Uncomment
#define NO_SHARED
in platform.h
Tom
