On Thu, Mar 26, 2020 at 10:28 AM Richard W.M. Jones <rjones(a)redhat.com> wrote:
I don't know, now I can't even get the ‘fedpkg local’ to
reproduce it :-(
Jerry, I suggest this bug is real, but is also likely to be a bug in
Coq (most likely) or the OCaml runtime, possibly in the Weak module.
You might have more luck asking the upstream developers for help.
As for what to do about Fedora 32, how about disabling _smp_mflags, on
the basis that it might be load-related? That should at least reduce
the non-determinism.
Okay, I will give that a try. I'm worried that even if I get a "good"
build, that it's going to explode on the hapless Fedora users who
install it.
Thank you for all the work you put into this, Richard. I appreciate
the investigation. I'll keep poking at it, too.
--
Jerry James
http://www.jamezone.org/