ocamlfind on windows
From https://gitlab.com/coq/coq/-/jobs/876988114/artifacts/browse/artifacts/buildlogs/ I have
checking for gcc... gcc
checking whether the C compiler works... yes
checking for C compiler default output file name... a.exe
checking for suffix of executables... .exe
checking whether we are cross compiling... no
checking for suffix of object files... o
checking whether we are using the GNU C compiler... yes
checking whether gcc accepts -g... yes
checking for gcc option to accept ISO C89... none needed
checking how to run the C preprocessor... gcc -E
checking for g++... g++
checking whether we are using the GNU C++ compiler... yes
checking whether g++ accepts -g... yes
checking for coqc >= 8.8... /cygdrive/c/ci/coq64_6367_31863/bin/coqc
checking for coqdep... /cygdrive/c/ci/coq64_6367_31863/bin/coqdep
checking for ocamlc... /usr/x86_64-w64-mingw32/sys-root/mingw/bin/ocamlc
checking for ocamlopt... /usr/x86_64-w64-mingw32/sys-root/mingw/bin/ocamlopt
checking for ocamlfind...
checking for /zarith.cma... no
checking for /z.cmi... no
checking for Big_int... no
and on stderr
which: no ocamlfind.exe in (./C:\ci\cygwin64_11525_14414\usr\x86_64-w64-mingw32\sys-root\mingw\bin)
Invalid parameter(s)
QUERY { PROCESS | SESSION | TERMSERVER | USER }
configure: error: *** Unable to find Big_int
I believe the problem is ocamlfind rather than bigint.
It seems fishy that the path begins with ./
.