"pkg-config --libs polyml" produces:
-L/usr/local/lib -lpolymain -lpolyml -lpthread -lm -lstdc++ -lgcc_s -lgcc
When you use this to link polyml to a program it fails with missing libffi references. As a workaround you can use "pkg-config --libs polyml libffi" which produces:
-lpolymain -lpolyml -lpthread -lm -lstdc++ -lgcc_s -lgcc -L/usr/local/lib -lffi
Thanks for the heads up.
I haven't tested Poly/ML to build Isabelle in quite a while, so it might need some more testing. I'll check to see if some small SML programs that I wrote compile properly using Poly/ML.
Most of the large SML programs that I use support MLTon or SML/NJ (eg. Ur/Web), so I'll need to find out which ones support Poly/ML, and verify with that respective program.
Any news on this bug?
I haven't gotten a chance to test it in depth yet, I'll try to get to it soon, as it looks fairly easy to address.
any update on this?
It turns out that a later version of polyml corrected this issue. When I did some work on a submitted update to polyml, now I get the proper output:
> hypercube# pkg-config --libs polyml
-L/usr/local/lib -lpolymain -lpolyml -lpthread -lffi -lm -lgcc_s -lgcc
Notice that -lffi is included, as it should.
See issue #208783 for more details.
My apologies for taking so long to get to this issue.
A commit references this bug:
Date: Fri Apr 15 19:58:04 UTC 2016
New revision: 413374
lang/polyml: 5.5.2 -> 5.6
- New foreign-function interface (Foreign structure).
- Reimplemented debugger so that code with debugging enabled is much faster.
- Improved support for Poly/ML on native Windows.
- Support for MIPS and 64-bit ARM processors through the byte-code interpreter.
- Various bug fixes.
PR: 208783, 199566
Submitted by: Phil Eaton <email@example.com>, brooks
Approved by: Timothy Beyer <firstname.lastname@example.org> (maintainer)
The update is now committed, as submitted in 208783.