Re: Intent to retire why

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

 



On Thu, Jun 6, 2019 at 9:12 PM Jerry James <loganjerry@xxxxxxxxx> wrote:
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

Some hunting around turned up this:

https://github.com/ocaml/ocaml/issues/7608

Sure enough, reinvoking ocamlopt with -fno-thumb resulted in a successful build of the offending file.  I'll try to work that into the spec file somehow and get the alt-ergo build going again.  It doesn't appear to me that this issue has been resolved upstream yet, though.

Incidentally, arm03-packager01.cloud.fedoraproject.org thinks today is 10 March 2019.
--
_______________________________________________
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

[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
[Index of Archives]     [Fedora Announce]     [Fedora Users]     [Fedora Kernel]     [Fedora Testing]     [Fedora Formulas]     [Fedora PHP Devel]     [Kernel Development]     [Fedora Legacy]     [Fedora Maintainers]     [Fedora Desktop]     [PAM]     [Red Hat Development]     [Gimp]     [Yosemite News]

  Powered by Linux