On Mon, Jun 3, 2019 at 12:24 PM Jerry James <loganjerry@xxxxxxxxx> wrote:
Noted. I will probably get all these packages built on Wednesday or Thursday of this week. If that turns out to be a bad time for you, please let me know and I will postpone the builds. Regards,
I got about half of the builds done. Unfortunately, the alt-ergo build failed on 32-bit ARM with errors that I don't understand:
I ran the build twice just in case it was alpha particles at work, but sadly got the same result, namely lots of errors messages like this:
/tmp/camlasm8765df.s: Assembler messages:
/tmp/camlasm8765df.s:34184: Error: value of 0000000000035170 too large for field of 2 bytes at 000000000000ee3e
/tmp/camlasm8765df.s:34186: Error: value of 000000000003356e too large for field of 2 bytes at 000000000000ee42
/tmp/camlasm8765df.s:34188: Error: value of 000000000003356e too large for field of 2 bytes at 000000000000ee46
/tmp/camlasm8765df.s:34184: Error: value of 0000000000035170 too large for field of 2 bytes at 000000000000ee3e
/tmp/camlasm8765df.s:34186: Error: value of 000000000003356e too large for field of 2 bytes at 000000000000ee42
/tmp/camlasm8765df.s:34188: Error: value of 000000000003356e too large for field of 2 bytes at 000000000000ee46
...
That looks like a 32-bit issue, but the i386 build was successful, so I'm not sure what is going on here. This is with ocaml 4.07, of course, so there is some hope that 4.08 will fix the issue. If this really is due to a code error in alt-ergo, though, it will have to be addressed. Any hints much appreciated.
-- _______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://getfedora.org/code-of-conduct.html List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/devel@xxxxxxxxxxxxxxxxxxxxxxx
