[why3] backport cherry-picked Windows-specific fixes

fdopen / opam-repository-mingw

windows package repository for OPAM (mingw and msvc)

https://fdopen.github.io/opam-repository-mingw/

Creative Commons Zero v1.0 Universal

96 stars 34 forks source link

[why3] backport cherry-picked Windows-specific fixes #72

Closed maroneze closed 4 years ago

maroneze commented 4 years ago

When testing Why3 on Windows, I stumbled upon these two issues, which were fixed in the Why3 master branch. However, I need them on Why3 1.2.1, and since they are Windows-specific, I think it would be useful to backport them here.

fdopen commented 4 years ago

thanks