On Thu, Sep 14, 2017 at 6:49 AM, Richard W.M. Jones <rjones(a)redhat.com> wrote:
More news.
https://github.com/ocaml/ocaml/pull/1330
Upstream came up with a different fix. It's slower since every
reference (even within compilation units) now goes through the GOT,
but it's likely to be safer and it's the one they went with for the
future 4.06 release.
Therefore I have added this fix instead of mine to
ocaml-4.05.0-4.fc{27,28}. I tested it first by rebuilding coq,
frama-c and a selection of other packages using the new compiler on my
local aarch64 machine and I didn't find any problems.
There is no action required, unless you wish to check that the new
compiler can still build your package.
Thanks for the information, Richard. Meanwhile, I did successfully
build the new version of frama-c, but the poppler update that went
into Rawhide and the subsequent failure of texlive to build on 32-bit
arches happened at about the same time, so I have not been able to
build the new version of why yet. Here's hoping the texlive problems
can be resolved soon.
Regards,
--
Jerry James
http://www.jamezone.org/