dune icon indicating copy to clipboard operation
dune copied to clipboard

add an option to `dune build` to report stats

Open Khady opened this issue 1 year ago • 1 comments

Desired Behavior

It's fairly complicated to get an information about a build right now except for the total time taken. It would be nice to have an option to know more. Either on stdout or in _build/log could do. Maybe as part of --print-metrics. But having it on by default as much as possible and logging in _build/log would be nice.

Example

$ dune build
...
$ tail _build/log
known rules: 192789
executed rules: 16728
cache hits: 1281
number of source files: 200
number of compiled files 800
build duration: 17976ms

Khady avatar May 10 '24 03:05 Khady

I don't see any harm with this. In fact, we have something similar internally. Feel free to send a PR

rgrinberg avatar Jun 13 '24 21:06 rgrinberg