Thanks!
On 13/9/17, 20:42, "David Matthews" <[email protected]> wrote:
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
