dune
dune copied to clipboard
ocaml
A composable build system for OCaml.
One way build actions can accidentally be unreproducible is through observing a shared temporary directory. This can be easily mitigated by providing a fresh temporary directory for every build action...
This PR allows installing all the artifacts in a directory using the following syntax: ``` (install (dir foo/bar) (package pkg) (section baz)) ``` This will build `foo/bar` and add its...
Use the rules api directly to simplify the generation of rules Signed-off-by: Rudi Grinberg ps-id: 916c0c89-c6fc-416a-a3a9-032047f9aa37
using v2.9.1 running dune build x/y.exe twice, back to back and without altering the source, results in some .cmt files being removed but not all. other types of build artefact...
It's incorrect to compare libraries by [Lib.Id.t] for memoization. We switch to physical equality which is safe given our current implementation which forbids modifying or creating [Lib.t] obtained from the...
Addressed some concerns from [feedback](https://github.com/ocaml/dune/issues/5915), but there are still more to go. There are still some unanswered questions for which I'm awaiting answers. I will keep updating this file as...
This is a continuation of #5967. The difference here is that the extra variables have been removed in a following commit. We now only expose: Coq configuration variables: ```ocaml %{coq:coqlib}...
We stop declaring .aux files as targets in the coqc rules. .aux files are simply a "cache" recording a runtime estimation for the STM (the thing that let's Coq process...
We add an interface for the configuration values of Coq. This is important as it allows us to have version specific code. As a secondary we can expose it to...
We still need a fork to support `alias` but this brings the upstream part to 1.1.1. The main addition is builtin support of groups through the `Cmdliner.Cmd` API. Benefits include:...
