Stream: Coq devs & plugin devs

Topic: Cannot compile Coq (caml_mutex_unlock not available)


view this post on Zulip Yann Leray (Jun 19 2024 at 15:29):

I cannot compile Coq anymore (OCaml 5.2.0) because I get a bunch of missing cmx file warnings and an error:

Error: Error while linking clib/clib.cma(Memprof_coq):
       The external function caml_mutex_unlock is not available

view this post on Zulip Gaëtan Gilbert (Jun 19 2024 at 15:31):

https://github.com/coq/coq/pull/19243

view this post on Zulip Emilio Jesús Gallego Arias (Jun 19 2024 at 16:29):

Indeed I was under the impression we had a small CI job testing 5.x compilation, we'll add one so this doesn't happen in the future.


Last updated: Oct 13 2024 at 01:02 UTC