On Thu, Mar 26, 2020 at 10:28 AM Richard W.M. Jones <rjones@xxxxxxxxxx> 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/ _______________________________________________ devel mailing list -- devel@xxxxxxxxxxxxxxxxxxxxxxx To unsubscribe send an email to devel-leave@xxxxxxxxxxxxxxxxxxxxxxx Fedora Code of Conduct: https://docs.fedoraproject.org/en-US/project/code-of-conduct/ List Guidelines: https://fedoraproject.org/wiki/Mailing_list_guidelines List Archives: https://lists.fedoraproject.org/archives/list/devel@xxxxxxxxxxxxxxxxxxxxxxx
