Stream: Coq Universe

Topic: Windows support


view this post on Zulip 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?

view this post on Zulip 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.

view this post on Zulip 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

view this post on Zulip 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

view this post on Zulip Ali Caglayan (Jun 14 2022 at 11:18):

I have not been able to find the port of findlib to dune.

view this post on Zulip Ali Caglayan (Jun 14 2022 at 11:18):

I did find the zarith port by Emilio tho

view this post on Zulip 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: Feb 06 2023 at 06:29 UTC