Rudi Grinberg

Simplest way would be to set `OCAMLRUNPARAM` in the env stanza. We could also add a dedicated option if that's preferred.

Obviously there are some cases where backtraces by default is better, and you're free to turn it on. Nothing stops you from adding `Printexc.record_backtrace false` into coq or even controlling...

If I'm getting this right, the major use case for this feature is to provide your own metadata that desugars into dune and dune-project files. If so, I don't think...

Thanks for describing your use cases more thoroughly. This proposal tries to kill two birds with one stone by proposing a single construct both fixes and introduces a new feature....

That's right. We should forbid tools from recording any absolute paths. Or at least allow us a way to override them with an environment variable.

Modifying ocamlbuild sounds like the right way to go. It will allow us to sandbox the build to guarantee its correctness, and speed up subsequent build with caching. > My...

Since this mode isn't enabled by default, I feel there's not much risk in accepting this PR. It doesn't seem like it will add much maintenance overhead or bugs. EDIT:...

Please re-open if you ever get around to do this.

To clarify, "action" in this issue refers to a build task rather than a code action.