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
If pkg-config is installed you should be able to run: pkg-config --libs polyml
David
On 13/09/2017 08:09, Michael.Norrish at data61.csiro.au 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 polyml at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
Thanks!
On 13/9/17, 20:42, "David Matthews" <David.Matthews at prolingua.co.uk> wrote:
If pkg-config is installed you should be able to run: pkg-config --libs polyml
David
On 13/09/2017 08:09, Michael.Norrish at data61.csiro.au 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 > polyml at inf.ed.ac.uk > http://lists.inf.ed.ac.uk/mailman/listinfo/polyml >
-
David.Matthews＠prolingua.co.uk -
Michael.Norrish＠data61.csiro.au