On 19/09/13 15:14, David Matthews wrote:
I don't know how useful it will be in general, though. I've done a quick look and pkg-config doesn't seem to be installed on several set-ups I looked at including Mac OS X and Solaris. The other problem is that it is going to require the PC files to be written into /usr/lib/pkgconfig or some other non-user-writable directory. One of the problems I was trying to work round was the fact that many users of Poly/ML are running on systems that are managed centrally and they don't have root access. It's this that makes shared libraries a problem because libpolyml can't be installed to /usr/lib or /usr/local/lib. All this means that anyone distributing code, such as HOL4 or Metit that are intended to be built with poly, can't rely on pkg-config.
It should just be installed to $PREFIX/lib/pkgconfig; users can then export the environment variable PKG_CONFIG_PATH=$PREFIX/lib/pkgconfig:$PKG_CONFIG_PATH before building the tool that uses Poly/ML, in much the same way that they have to set PATH=$PREFIX/bin:$PATH (or supply an absolute path to poly). pkg-config will then find the .pc file.
pkg-config is mostly a Linux thing (although I suspect it's easily found on *BSD systems), so it's not so useful for Windows or the proprietary unices like OS X and Solaris.
Alex