Especially with Windows support growing, this would be a real nice-to-have.
The easiest way to get it might be bumping the vendored cmdliner and applying the patch mentioned here to preserve the prefix behavior opam desires. I'd be happy to have a go at this as a PR if it sounds desirable.
Especially with Windows support growing, this would be a real nice-to-have.
The easiest way to get it might be bumping the vendored cmdliner and applying the patch mentioned here to preserve the prefix behavior
opamdesires. I'd be happy to have a go at this as a PR if it sounds desirable.