Michael Soegtrop (Jun 07 2022 at 07:08): Michael Soegtrop (Jun 07 2022 at 07:08):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?
Emilio Jesús Gallego Arias (Jun 07 2022 at 07:27):@Michael Soegtrop in principle we don't even require make, just dune + findlib + zarith should work, shell is never called.
Emilio Jesús Gallego Arias (Jun 07 2022 at 07:28):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
Rudi Grinberg (Jun 07 2022 at 17:27):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
Ali Caglayan (Jun 14 2022 at 11:18):I have not been able to find the port of findlib to dune.
Ali Caglayan (Jun 14 2022 at 11:18):I did find the zarith port by Emilio tho
Michael Soegtrop (Jun 14 2022 at 11:30):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: Apr 19 2024 at 15:02 UTC