Phil, I've just committed support for pkg-config with Poly/ML. Would you like to have a look at it and see if it works as you expect? Let me know if there are any changes needed. You had separate versions for the shared and static libraries. I can see why you did that but it looks like it would be a lot more work.
Regards, David