dune icon indicating copy to clipboard operation
dune copied to clipboard

Portable lock dirs break depext resolution

Open Leonidas-from-XIV opened this issue 6 months ago • 2 comments
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 of dune --version): main
  • Version of ocaml (output of ocamlc --version): 5.2.1
  • Operating system (distribution and version): Fedora 42

Additional information

  • Link to gist with verbose output (run dune with the --verbose flag):

Leonidas-from-XIV avatar May 20 '25 13:05 Leonidas-from-XIV

Thanks for the repro @Leonidas-from-XIV! I'll investigate.

gridbugs avatar May 21 '25 01:05 gridbugs

Fixed in https://github.com/ocaml/dune/pull/11828

gridbugs avatar May 27 '25 07:05 gridbugs

The fix has been merged, I'll close this issue in the meantime.

Leonidas-from-XIV avatar Jun 19 '25 12:06 Leonidas-from-XIV