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