dune
dune copied to clipboard
Portable lock dirs break depext resolution
trafficstars
Expected Behavior
$ DUNE_CONFIG__PORTABLE_LOCK_DIR=enabled dune pkg lock
$ DUNE_CONFIG__PORTABLE_LOCK_DIR=enabled dune show depext
libgmp-dev
Actual Behavior
$ DUNE_CONFIG__PORTABLE_LOCK_DIR=enabled dune pkg lock
$ DUNE_CONFIG__PORTABLE_LOCK_DIR=enabled dune show depext
The output is empty.
Reproduction
I've tested it by unpacking mysql_protocol.3.0.3 (which pulls in conf-gmp which has depexts) however I don't think there is anything particularly specific about mysql_protocol, it's probably the case with all depexts as evidenced by the regressions of the Dune build in opam-health-check.
- PR with a reproducing test: #11825
Specifications
- Version of
dune(output ofdune --version):main - Version of
ocaml(output ofocamlc --version): 5.2.1 - Operating system (distribution and version): Fedora 42
Additional information
- Link to gist with verbose output (run
dunewith the--verboseflag):
Thanks for the repro @Leonidas-from-XIV! I'll investigate.
Fixed in https://github.com/ocaml/dune/pull/11828
The fix has been merged, I'll close this issue in the meantime.