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
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
