libffi is used by Poly/ML to provide the foreign-function interface. It
is not a core part of Poly/ML. If you have the appropriate libraries
and header files on your system you can use them instead of the version
bundled with Poly/ML by specifying --with-system-libffi to configure.
It then won't need to build the bundled version.
Every so often I update the bundled version from the released source of
libffi. It hasn't been done for a while so it's possible that this
issue has been resolved in a newer version.
David
On 11/03/2019 10:41, Gergely Buday wrote:
How can I make polyml to use "ar cr" instead of "ar cru"?
The problem was only in the libffi directory. I edited the files with
AR_FLAGS setting there, I guess the configure is the source of the others
and then make in this directory worked, and then make in the main polyml
directory went through.
ar manual writes
u Normally, ar r... inserts all files listed into the archive. If
you would like to insert only
those of the files you list that are newer than existing members
of the same names, use this
modifier. The u modifier is allowed only for the operation r
(replace). In particular, the
combination qu is not allowed, since checking the timestamps
would lose any speed advantage
from the operation q.
So omitting the u has no real effect other than compile time.
The learning is that in MobaXterm, probably due to Busybox using a limited
version of ar, option u is not understood. Fixing libffi/configure to have
option cr instead of cru for AR_FLAGS makes the compilation possible.
Would it be possible to test with autoconf whether a system understands the
u option of ar and use cr then?
- Gergely
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
_______________________________________________
polyml mailing list
polyml@inf.ed.ac.uk
http://lists.inf.ed.ac.uk/mailman/listinfo/polyml
