[new release] dune (15 packages) (3.16.0)

[emillon]

Fast, portable, and opinionated build system

• Project page: https://github.com/ocaml/dune
• Documentation: https://dune.readthedocs.io/

CHANGES:

Added

• allow libraries with the same (name ..) in projects as long as they don't
  conflict during resolution (via enabled_if). (feat: support libraries with the same name in multiple contexts dune#10307, @anmonteiro,
  @jchavarri)

• dune describe pp now finds the exact module and the stanza it belongs to,
  instead of guessing the name of the preprocessed file. (fix(describe-pp): try more candidates for pped dialect sources dune#10321, @anmonteiro)

• Print the result of dune describe pp with the respective dialect printer.
  (feat(describe-pp): print reason files with refmt dune#10322, @anmonteiro)

• Add new flag --context to dune ocaml-merlin, which allows to select a
  Dune context when requesting Merlin config. Add dune describe contexts
  subcommand. Introduce a field generate_merlin_rules for contexts declared
  in the workspace, that allows to optionally produce Merlin rules for other
  contexts besides the one selected for Merlin (merlin: add new contexts commands dune#10324, @jchavarri)

• melange: add include paths for private library .cmj files during JS
  emission. (fix(melange): add .cmj include dirs for installed private libs dune#10416, @anmonteiro)

• dune ocaml-merlin: communicate additional directives SOURCE_ROOT,
  UNIT_NAME (the actual name with wrapping) and INDEX with the paths to the
  index(es). ([5.2] Build occurrences index for Merlin dune#10422, @voodoos)

• Add a new alias @ocaml-index that uses the ocaml-index binary to generate
  indexes that can be read by tools such as Merlin to provide project-wide
  references search. ([5.2] Build occurrences index for Merlin dune#10422, @voodoos)

• merlin: add optional (merlin_reader CMD) construct to (dialect) stanza to
  configure a merlin reader (Communicate READER to merlin for configured dialects dune#8567, @andreypopp)

Changed

• melange: treat private libraries with (package ..) as public libraries,
  fixing an issue where import paths were wrongly emitted. (fix(melange): treat private libraries with (package ..) as public libs dune#10415,
  @anmonteiro)

• install .glob files for Coq theories too ([coq] [fix] Install .glob files dune#10602, @ejgallego)

Fixed

• Don't try to document non-existent libraries in doc-new target (doc-new: Omit docs for 'empty libraries' dune#10319, fixes
  dune build @doc-new treats dependency errors as fatal dune#10056, @jonludlam)

• Make dune-site's load_all function look for META files so that it
  doesn't fail on empty directories in the plugin directory (Look for META files rather than just directories to list plugins dune#10458, fixes
  An empty directory in the plugin directory makes load_all fail dune#10457, @shym)

• Fix incorrect warning for libraries defined inside non-existant directories
  using (subdir ..) and used by executables using dune-build-info (fix: remove incorrect warning when using dune-build-info and (subir ..) dune#10525,
  @rgrinberg)

• Don't try to take build lock when running coq top --no-build (fix: don't take build lock for coq top --no-build dune#10547, fixes
  Running "dune coq top --no-build ..." tries to take the lock dune#7671, @lzy0505)

• Make sure to truncate dune's lock file after locking and unlocking so that
  users cannot observe incorrect pid's (fix: truncate lock file dune#10575, @rgrinberg)

• mdx: link mdx binary with byte_complete. This fixes (libraries) with
  foreign archives on Linux. (fix(mdx): link mdx binary with byte_complete dune#10586, fixes mdx stanzas do not work with shared libraries dune#10582, @anmonteiro)

• virtual libraries: fix an issue where linking an executable involving several
  virtual libries would cause an error. (fix: virtual libraries bug dune#10581, fixes dune variants - how they are supposed to work and scale? dune#10460, @rgrinberg)

[emillon]

This is the same code as 3.16.0~alpha2 so we can skip CI if you prefer. #26060 can be closed, and #26088 will need to be merged. Thanks!

[raphael-proust]

Thanks for the contribution!