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