mirror of
https://github.com/NixOS/nixpkgs.git
synced 2026-08-26 18:24:53 +00:00
8c223b0953
A single `dune-project` file can contain multiple packages that dune can build. This is a problem, because the default dune build command we use doesn't search through `dune-project` for dependencies, it assumes that will have already been built and can be found with findlib. See zipperposition for an example of this. Adds a new `dunePackages` argument to allow this, defaulting to `[ pname ]` for backwards compatibility.