[new release] dune (15 packages) (3.8.0~alpha2)

[emillon]

Fast, portable, and opinionated build system

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

CHANGES:

• Correctly set MANPATH in dune exec. Previously, we would use the bin/
  directory of the context. (fix: man dir for contexts dune#7655, @rgrinberg)

• Allow overriding the ocaml binary with findlib configuration (fix: allow overriding "ocaml" with findlib dune#7648,
  @rgrinberg)

• Modules that were declared in (modules_without_implementation),
  (private_modules) or (virtual_modules) but not declared in (modules)
  will cause Dune to emit a warning which will become an error in 3.9. (feature: warn if modules is missing any mentioned modules  dune#7608,
  fixes modules field in conjunction with private_modules, virtual_modules, etc. dune#7026, @Alizter)

• Dune can now detect Coq theories from outside the workspace. This allows for
  composition with installed theories (not necessarily installed with Dune).
  (feature(coq): composition of installed theories dune#7047, @Alizter, @ejgallego)

• Fix regression where Merlin was unable to handle filenames with uppercase
  letters under Windows. (merlin: avoid touching case of filename dune#7577, @nojb)

• On nix+macos, pass -f to the codesign hook to avoid errors when the binary
  is already signed (fix: use codesign -f to replace existing signature dune#7183, fixes Nix + macOS codesigning: -f flag needed dune#6265, @greedy)

• Fix bug where RPC clients built with dune-rpc-lwt would crash when closing
  their connection to the server (Don't attempt read from closed fd in dune_rpc_lwt dune#7581, @gridbugs)

• Introduce mdx stanza 0.4 requiring mdx >= 2.3.0 which updates the default
  list of files to include *.mld files (feature: mdx 0.4 stanza with support for mld files out of the box dune#7582, @Leonidas-from-XIV)

• Fix RPC server on Windows (used for OCaml-LSP). (dune-rpc: use loopback address on Windows dune#7666, @nojb)

• In (executable), (public_name -) is now equivalent to no (public_name).
  This is consistent with how (executables) handles this field.
  (Make (public_name -) equivalent to no public name dune#7576 , fixes (public_name -) different behaviour between executable and executables dune#5852, @emillon)

• Change directory of odoc assets to odoc.support (was _odoc_support) so
  that it works with Github Pages out of the box. (odoc: put odoc support files in odoc.support dune#7588, fixes Bad interaction between _odoc_supports directory and github pages / jekyll dune#7364,
  @emillon)

[emillon]

Closing while the cluster is busy with #23742