Stephen Sherratt
Stephen Sherratt
Thanks for the repro @Leonidas-from-XIV! I'll investigate.
Fixed in https://github.com/ocaml/dune/pull/11828
> we'd really want to express this constraint in the solver and only solve a single SAT problem for the all configurations at once I couldn't agree more. Solving a...
Regarding the original issue of Dune printing all the deps in one list, leading to confusion when a single package appears multiple times with different versions, I'm working on an...
It's possible to take this further and make it an error if a solution contains multiple versions of the same package (possibly surpressed by some configuration). Either way I think...
In the meantime, how do you feel about enabling portable lockdirs by default once https://github.com/ocaml/dune/pull/12620 is merged?
It will solve for platforms Linux (x64, arm64), MacOS (x64, arm64) and Windows x64.
> Which set of distros does that include? The default platforms don't specify distros, though this can be configured in the custom list of platforms in dune-workspace. If someone needs...
@kemsguy7 the branch this PR is coming from does not include df45715469776a069fda5a4a39daabbb5675a0fe, since it's based on a version of origin/main from before your previous PR was merged. This is why...