I wonder what build environment you require on Windows? At first glance it looks like git + make with CMD as shell are sufficient. Is this so?
@Michael Soegtrop in principle we don't even require make, just dune + findlib + zarith should work, shell is never called.
Coq build has been bash-free for a while, only the test suite and a couple of dev scripts still use bash, but there are PRs open already that remove that need
There's even ports of findlib and zarith to dune. So you might be able to experiment with bringing those into the coq-universe as well
I have not been able to find the port of findlib to dune.
I did find the zarith port by Emilio tho
OK, I guess it is time to just give it a try and see where I end up.
Btw.: do you expect that I can compile OCaml with MSVC / ICC or is this MinGW gcc / clang only? I actually don't know how to install MinGW gcc without Msys2 or cygwin - which is what we want to avoid.
Last updated: Jun 01 2023 at 12:01 UTC