In win64 environment, a file to be linked may be of the form \server\path\to\obj
If the command line is too long, this is dumped into a response file, but the function build_diversion in reloc.ml, specifically converts file-paths to use "/" instead of "\". As a result the above file is interpreted as an option to the "link" command then fails to link files.
There does not seem to be an easy workaround to this problem, as the option to use response file is not user-controllable
In win64 environment, a file to be linked may be of the form \server\path\to\obj
If the command line is too long, this is dumped into a response file, but the function build_diversion in reloc.ml, specifically converts file-paths to use "/" instead of "\". As a result the above file is interpreted as an option to the "link" command then fails to link files.
There does not seem to be an easy workaround to this problem, as the option to use response file is not user-controllable