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 at inf.ed.ac.uk http://lists.inf.ed.ac.uk/mailman/listinfo/polyml