windows support about infer HOT 13 OPEN

Just to be clear: The core infer team does not have a use case for windows support, and does not have time to allocate to this. If someone wants to work on this, I expect that there is a bit of work to do to generalize the build scripts to work on (even one of the ~6 OCaml ports for) windows. Building the dependencies will likely involve some work. After that, some of the build system integration implementations rely on a posix environment, but the degree of dependence varies (e.g. high for 'make', low for 'buck'). So depending on which build system you need, there is some work there. Finally, the core of infer itself has very little reliance on posix, and in various points (e.g. interaction with signals) basic windows support is there (though untested). If your use case allows using WSL or cygwin, then there might be very little work needed at all. Pull requests most welcome.

from infer.

@jberdine could you maybe write up some general instructions and background information to understand where this OCaml requirement comes in (clang itself does not need it, obviously)?

My motivation is that I would like to try to run Infer on Git for Windows' source code. But obviously that only really builds on Windows. Or does Infer support cross-compiling to MINGW?

from infer.

bump

from infer.

Currently there is no support for windows.
See the FAQ.

from infer.

thanks
i hope they do in the future
i can't change my platform to linux and mac.

from infer.

when to support windows... waiting~

from infer.

Thanks for your issue. Unfortunately Infer doesn't support Windows yet. For now the easiest way is to run infer on a virtual machine running Linux.

from infer.

This bug in opam is related - if it will be fixed, windows support would be much easier to add ocaml/opam#246

from infer.

Please add the support for windows !

from infer.

👍

from infer.

Please add support for windows. It is useless otherwise.

from infer.

What a shame~

from infer.

@jberdine ping

from infer.