Skip to content

Improve the portability of the build system and tools

Kim Nguyễn requested to merge portability-improvement into dev

This MR adds the new Windows VM to the CI. It improves several aspects:

  • many portability fixes to be able to compile on windows (using https://fdopen.github.io/opam-repository-mingw/)
  • some improvements on optional dependencies (that are not sufficient not entirely satisfactory)
  • update build/installation instructions

Merge request reports