Karamel build breaking on windows, perhaps .. processing? #102
Description
So everest just built for me today on Linux but won't on Windows 11 (under cygwin).
The missing file exists so this looks like some kind of .. processing issue.
KaRaMeL auto-detecting tools. Here's what we found:
readlink is: readlink
KaRaMeL called via: C:\cygwin\home\brian\everest\karamel\src_build\default\Karamel.exe
KaRaMeL home is: /home/brian/everest/karamel/krmllib/..
⚙ KaRaMeL will drive F*. Here's what we found:
read FSTAR_HOME via the environment
fstar converted to windows path: C:/cygwin/home/brian/everest/FStar/bin/fstar.exe
fstar home converted to windows path: C:/cygwin/home/brian/everest/FStar
fstar lib converted to windows path: C:/cygwin/home/brian/everest/FStar/ulib
fstar is on branch master
fstar is: C:/cygwin/home/brian/everest/FStar/bin/fstar.exe /home/brian/everest/karamel/krmllib/../runtime/WasmSupport.fst C:/cygwin/home/brian/everest/FStar/ulib/FStar.UInt128.fst --trace_error --expose_interfaces --include
/home/brian/everest/karamel/krmllib/../krmllib --include /home/brian/everest/karamel/krmllib/../include
Fatal error: exception Sys_error("/home/brian/everest/karamel/krmllib/../misc/Makefile.basic: No such file or directory")
make[1]: *** [Makefile:119: dist/generic/Makefile.include] Error 2
make[1]: Leaving directory '/home/brian/everest/karamel/krmllib'
make: *** [Makefile:36: krmllib] Error 2
make: Leaving directory '/home/brian/everest/karamel'
FAILURE: build failed for karamel