core_unix icon indicating copy to clipboard operation
core_unix copied to clipboard

Installation fails on windows

Open Chimrod opened this issue 1 year ago • 0 comments

There is a clash between the windows path separator and the uses of bash:

File "lock_file_blocking/src/dune", line 9, characters 0-96:
 9 | (rule
10 |  (targets config.h)
11 |  (deps)
12 |  (action
13 |   (bash "cp %{lib:jst-config:config.h} %{targets}")))
(cd _build/default/lock_file_blocking/src && C:\cygwin64\bin\bash.exe -e -u -o pipefail -c "cp C:\Users\sebastien\AppData\Local\opam\sandbox\lib\jst-config\config.h config.h")
cp: cannot stat 'C:UserssebastienAppDataLocalopamsandboxlibjst-configconfig.h': No such file or directory

core_unix-5316-92da34.env.txt core_unix-5316-92da34.info.txt core_unix-5316-92da34.out.txt

Chimrod avatar Jun 11 '24 08:06 Chimrod