Where do I go looking for the source of this error?
# INSTALL BigZ/BigZ.glob D:\a\fiat-crypto\fiat-crypto\_opam\lib/coq//user-contrib/Bignums\\BigZ
# # findlib needs the package to not be installed, so we remove it before
# # installing it
# /bin/sh: D:afiat-cryptofiat-crypto_opambin/ocamlfind.exe: No such file or directory
That is the content of the Makefile generated by coq_makefile
. More precisely, this is the findlib_remove
directive. No idea whether adding some double quotes there would fix the issue.
Reported as https://github.com/coq/coq/issues/15664 and fixed in https://github.com/coq/coq/issues/15665
Jason Gross has marked this topic as resolved.
Last updated: Dec 06 2023 at 14:01 UTC