Re: Coq build issues in F32
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.
Rich.
--
Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
Read my programming and virtualization blog: http://rwmj.wordpress.com
virt-p2v converts physical machines to virtual machines. Boot with a
live CD or over the network (PXE) and turn machines into KVM guests.
http://libguestfs.org/virt-v2v