On Thu, Sep 14, 2017 at 6:49 AM, Richard W.M. Jones <rjones@xxxxxxxxxx> 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/ _______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx
