On Sun, Jun 19, 2022 at 11:26:00AM +0100, Richard W.M. Jones wrote:
I upgraded coq to 8.15.2 in this hope it would fix this build
problem,
but it does not:
Error: No implementations provided for the following modules:
Dynlink referenced from kernel/kernel.cmxa(Nativelib)
It seems to be this issue:
https://github.com/coq/coq/issues/15603
but I already have the commit which is supposed to fix that one.
But then I thought it might be a findlib problem. The new findlib
has:
$ cat /usr/lib64/ocaml/dynlink/META
# Specifications for the "dynlink" library:
requires = ""
version = "[distributed with Ocaml]"
description = "Dynamic loading and linking of object files"
directory = "^"
browse_interfaces = ""
archive(byte) = "dynlink.cma"
archive(native) = ""
Whereas the old one is the same except:
archive(native) = "dynlink.cmxa"
The old one looks like it's correct. But if so, I would expect a lot
more packages to be broken. So IDK.
So I believe this was a problem. Several other packages did
eventually fail the same way.
Luckily after updating findlib again (to 1.9.5) the problem seems to
have resolved itself.
I will reenable coq and deps and hope for the best.
Rich.
--
Richard Jones, Virtualization Group, Red Hat
http://people.redhat.com/~rjones
Read my programming and virtualization blog:
http://rwmj.wordpress.com
virt-top is 'top' for virtual machines. Tiny program with many
powerful monitoring features, net stats, disk stats, logging, etc.
http://people.redhat.com/~rjones/virt-top