Build does not work on Windows (Coq Platform) any more
Starting with the 8.18 version root is passed to dune - see commit
This does not work in the Windows Coq Platform builds, because dune is a MinGW app, since it is part of the installer, but the path supplied is a cygwin path (where / is the cygwin root folder) and MinGW apps don't understand this.
One could fix this either by supplying also a cygwin version of dune, but this is rather tricky to do since one would have to put it in the PATH in front of the opam switch bin folder, which is dynamically set to the top of the PATH in various places (shell hooks). The other option is to insert platform specific path translation, which is not that pleasant either.
I wanted to ask if there is a good reason for passing root - most dune Coq projects don't do this. Can it be that this is somethign you tried to get something fixed but then another change really fixed this and you kept it?
I will try a Coq Platform CI run (all platforms) where I removed this and report here if this helped.
@fbesson : just pinging you in case - some INRIA gitlab project owners are not subscribed to their projects.