Christoph M. Wintersteiger
Christoph M. Wintersteiger
Right, it probably suppresses that for some reason. Maybe wrap it in `cmd /c "..."`?
I can't run that makefile, it complains that it doesn't know how to produce .obj files... I assume that's expected?
Aha! Yes, the `set` doesn't work properly when used like that, the call to `test.exe` will see the old path.
Try this: ``` test: test.exe libquiccrypto.dll set PATH=..\kremlib;%PATH% echo PATH=%%PATH%% .\test.exe ```
`1.2.2` - came with Ubuntu 18.04. Once I remove that (package), `everest check` just complains that there isn't one: ``` $ ./everest check # Switching to the everest directory ......
There's not even an official PPA for opam?
Ah, no it is at least semi-official :)
Right, that fixed it, thanks! Would be nice if the script would check the opam version, even if just to report it without offering to upgrade automatically.
Good to know, thanks! Is the plan to keep Windows-binaries for all tools in windows-sysroot?
Performance fixed, I'm opening this one for review now.