If pkg-config is installed you should be able to run: pkg-config --libs polyml
David On 13/09/2017 08:09, [email protected] wrote:
I was wondering if there was any way (short of trying to parse the polyc shell-script) of programmatically knowing what the right options might be when calling the linker to link object files dumped by PolyML.export. 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
