dune icon indicating copy to clipboard operation
dune copied to clipboard

Depopts Are Broken

Open rgrinberg opened this issue 1 year ago • 1 comments
trafficstars

It appears that there's no way to make 0install select depopts at the moment

rgrinberg avatar Dec 08 '23 04:12 rgrinberg

0install does actually have depopts. Here is a PR showing how we can support them.

  • https://github.com/ocaml/dune/pull/9430

Alizter avatar Dec 09 '23 01:12 Alizter

Why is this necessary for MVP?

gridbugs avatar Feb 27 '24 06:02 gridbugs

Many projects rely on depopts. I’m not sure this qualifies it to be in the MVP, but it is important. I’m happy to delay this from the MVP if it’s not critical.

On Feb 27, 2024, at 6:21 AM, Stephen Sherratt @.***> wrote:

Why is this necessary for MVP?

— Reply to this email directly, view it on GitHub https://github.com/ocaml/dune/issues/9415#issuecomment-1965865254, or unsubscribe https://github.com/notifications/unsubscribe-auth/AABB56YJNQWATRW4KPTHGMLYVV3QJAVCNFSM6AAAAABAMC2LAGVHI2DSMVQWIX3LMV43OSLTON2WKQ3PNVWWK3TUHMYTSNRVHA3DKMRVGQ. You are receiving this because you were assigned.

rgrinberg avatar Feb 27 '24 08:02 rgrinberg

I removed it from the MVP since it seems like you're getting by without it.

rgrinberg avatar Feb 28 '24 09:02 rgrinberg