Add a dependency on dune-configurator for all packages that use dune.configurator#14851
Add a dependency on dune-configurator for all packages that use dune.configurator#14851kit-ty-kate merged 3 commits intomasterfrom unknown repository
Conversation
…configurator Signed-off-by: Jeremie Dimino <jeremie@dimino.org>
|
The failures are unrelated. |
Co-Authored-By: Kate <kit.ty.kate@disroot.org>
🌩️ opam-lint errors a735d34
☀️ Installability check (+1)
|
|
Thanks! |
We are planning to split
dune.configuratoras a separatedune-configuratorpackage in Dune 2.0.0. Thedune.configuratorname will still exist for backward compatibility reason, however packages that use it must declare an additional dependency ondune-configuratorin order to be compatible with Dune >= 2.0.0.In preparation of this, this PR adds an empty
dune-configurator.1.0.0that depends on Dune < 2.0.0 and adds it as a dependency of all packages that usedune.configurator.