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
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
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, David Matthews wrote:
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
polyml mailing list polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
-
David.Matthews＠prolingua.co.uk -
michael.norrish＠nicta.com.au -
phil.clayton＠veonix.com