Open rwmjones opened 3 years ago
I should add that I have seen this both with upstream git and with the released 2.4 tarball.
Would you mind to do a PR?
At the moment I can't even build it:
File "eio/dune", line 6, characters 20-28:
6 | (libraries bytes eio_main csv)
^^^^^^^^
Error: Library "eio_main" not found.
-> required by library "csv-eio" in _build/default/eio
-> required by _build/default/META.csv-eio
-> required by _build/install/default/lib/csv-eio/META
-> required by _build/default/csv-eio.install
-> required by alias install
-> required by alias default
It seems like "eio" is supposed to be optional, but for some reason that isn't working. Dune is a weird build system that I don't understand, so I didn't get any further.
@SGrondin ?
I see this from time to time. It's not very repeatable but it seems to happen on machines with more but slower cores:
Here's an example failure with full log on an aarch64 machine: https://koji.fedoraproject.org/koji/taskinfo?taskID=76860771
The unsatisfactory workaround is to use
dune build -j 1