Stream: Coq devs & plugin devs

Topic: Coq + Windows Working Group


view this post on Zulip Michael Soegtrop (Mar 30 2022 at 17:53):

Btw.: how about organizing a WG on improving OCaml support on Windows? I would think that the remaining issues in opam and dune are minor and one just has to sit down and get things done.

view this post on Zulip Ali Caglayan (Mar 30 2022 at 18:21):

It looks like there is better windows support planned for opam 2.2 but I haven't been able to find much about it.

view this post on Zulip Ali Caglayan (Mar 30 2022 at 18:22):

In particular, does anybody know if cygwin will always be needed?

view this post on Zulip Michael Soegtrop (Mar 31 2022 at 08:09):

@Ali Caglayan : One will need Cygwin for building packages which use autotools for configuration. But I think with the combination of opam and dune it should be possible to implement a reasonable alternative and move at least all important packages to such a solution.

view this post on Zulip Emilio Jesús Gallego Arias (Mar 31 2022 at 17:14):

https://hackmd.io/nC0lc9ujRqOdC7mAP43Pig


Last updated: Feb 06 2023 at 00:03 UTC