I would have thought that it's enough to check to see whether the LIBDIR
directory defined in the polyc script contains an SO file. Or perhaps
just look at
ldd `which poly`
The shared version is installed iff the output contains something like
libpolyml.so.5 => ...
Phil
13/01/14 12:28, Da
There's nothing within the Poly/ML environment that will tell you. You
might be able to find a .so/.dll/.dylib file corresponding to libpolyml
in /usr/local/lib but it could be elsewhere.
Why exactly do you need to know whether it was compiled with
--enable-shared or --disable-shared?
David
