Jason Gross (Feb 11 2022 at 05:03): Jason Gross (Feb 11 2022 at 05:03):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.
Jason Gross (Feb 11 2022 at 06:22):Reported as https://github.com/coq/coq/issues/15664 and fixed in https://github.com/coq/coq/issues/15665
Notification Bot (Feb 11 2022 at 06:22):Jason Gross has marked this topic as resolved.
Last updated: May 31 2023 at 16:01 UTC