Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Race condition in parallel builds #34

Open
rwmjones opened this issue Oct 7, 2021 · 4 comments
Open

Race condition in parallel builds #34

rwmjones opened this issue Oct 7, 2021 · 4 comments

Comments

@rwmjones
Copy link

rwmjones commented Oct 7, 2021

I see this from time to time. It's not very repeatable but it seems to happen on machines with more but slower cores:

File "lwt/dune", line 9, characters 0-150:
 9 | (rule
10 |  (targets csv_lwt.ml)
11 |  (deps    ../src/csv.pp.ml ../src/csv_memory.ml ../config/pp.exe)
12 |  (action (chdir %{workspace_root} (run config/pp.exe))))
Error: Rule failed to generate the following targets:
- lwt/csv_lwt.ml

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

@rwmjones
Copy link
Author

rwmjones commented Oct 7, 2021

I should add that I have seen this both with upstream git and with the released 2.4 tarball.

@Chris00
Copy link
Owner

Chris00 commented Nov 8, 2024

Would you mind to do a PR?

@rwmjones
Copy link
Author

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.

@Chris00
Copy link
Owner

Chris00 commented Nov 12, 2024

@SGrondin ?

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

No branches or pull requests

2 participants