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
On 13/01/2014 05:00, Michael Norrish wrote:
Is there any way to detect if the system has been built with --enable-shared? Something in the PolyML structure (say)? I'd like to be able to have my build script abort if the PolyML hasn't been built correctly. Or is there anything obvious my script could check in the file system to make this determination?
Thanks, Michael
polyml mailing list polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml