INFO: sel usually does not build on Windows cause of virus checkers #15
Description
This is informational
The Coq Platform opam build of sel on Windows fails with:
File "lib/dune", line 4, characters 13-35:
4 | (preprocess (pps ppx_deriving.std))
^^^^^^^^^^^^^^^^^^^^^^
Error: failed to delete sandbox in
_build/.sandbox/534594bed3fa062c420b42590da008d6
Reason:
rmdir(_build/.sandbox/534594bed3fa062c420b42590da008d6\default\.ppx\50a966c597cd710335ebee942ae6440d): Directory not empty
The remaining file is
opam\CP.2024.10.1~8.20~2025.01\.opam-switch\build\sel.0.5.0\_build\.sandbox\d1d9ef82bf618a4064cbd725c3186621\default\.ppx\50a966c597cd710335ebee942ae6440d\ppx.exe
This is the only Coq Platform package which does not build on Windows.
It does build when I disable the virus checker completely while it builds.
Usually on Windows if an exe file is created, the Virus checker checks it and has a lock on it for a short while, so that it cannot be deleted. The create / delete process is here so fast that it almost always fails. I guess this needs to be worked around in dune. This is just to let you and others running into this know.