Hi David,

15/10/13 17:50, David Matthews wrote:
On 15/10/2013 17:38, René Neumann wrote:
@David: Have you seen my other issue in the original email?

Was this the --with-system-ffi issue?  I've fixed it in SVN trunk.  It
may be something to port to the fixed branch.

It looks like r1871 didn't update polyml.pc.in similarly.

pkg-config is not producing -lffi when Poly/ML is built with
  --with-system-ffi

Phil

_______________________________________________
polyml mailing list
[email protected]
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml

Reply via email to