An open API service indexing awesome lists of open source software.

https://github.com/jchavarri/dune_repro_issue_5549

Some reproduction for Dune issue #5549
https://github.com/jchavarri/dune_repro_issue_5549

Last synced: 3 months ago
JSON representation

Some reproduction for Dune issue #5549

Awesome Lists containing this project

README

        

## Dune repro issue 5549

1. Install switch: `make create-switch`

2. Run Dune in watch mode: `dune build -w @all`, notice how the build leverages all cores in cpu.

3. Modify `chunk2/dir_2_1/m2_1_1_1.ml` and `mli`, notice how the build finishes very fast, even if a few modules depend on it.

4. Modify `chunk1/dir_1_1/m1_1_1_1.ml` and `mli`, notice how the build only executes 1 job at a time.