On 16/05/2017 04:47, Jerry James wrote:
I attempted to build this version for Fedora.  It succeeded on all
architectures except aarch64:

https://koji.fedoraproject.org/koji/taskinfo?taskID=19526061

I don't understand the failure, though.  We run "make check" after the
build to gain some confidence that the build is good.  Here is an
extract from the build log
(https://kojipkgs.fedoraproject.org//work/tasks/6133/19526133/build.log):
Test044.ML => Passed
make[2]: Leaving directory '/builddir/build/BUILD/polyml-5.7'
make[2]: *** [Makefile:1175: check-local] Error 1
make[1]: Leaving directory '/builddir/build/BUILD/polyml-5.7'
make[1]: *** [Makefile:997: check-am] Error 2
make: *** [Makefile:706: check-recursive] Error 1

It looks like every individual test passed, but the test suite as a
whole failed.  Do you have any idea what might cause this?  Thank you,

The only thing that occurs to me is that one or other of the tests messed up the internal state so that when the poly process came to exit it crashed. I don't have access to any machine running aarch64 (that's 64-bit ARM isn't it?) so there's no way I can test any of this.

Regards,
David

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

Reply via email to