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

[emillon]

Fast, portable, and opinionated build system

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

CHANGES:

Added

• Introduce a (dynamic_include ..) stanza. This is like (include foo) but
  allows foo to be the target of a rule. Currently, there are some
  limitations on the stanzas that can be generated. For example, public
  executables, libraries are currently forbidden. (feature: dynamic_include stanza dune#9913, @rgrinberg)

• Introduce $ dune promotion list to print the list of available promotions.
  (Add dune promotion list to display the current changes files. dune#9705, @moyodiallo)

• If Sherlodoc is installed, add a search bar in generated HTML docs (odoc: sherlodoc integration dune#9772,
  @EmileTrotignon)

• Add only_sources field to copy_files stanza (Add only_sources field to copy_files stanza dune#9827, fixes copy_files glob should operate on source files (not target files inside _build folder) dune#9709,
  @jchavarri)

• The (foreign_library) stanza now supports the (enabled_if) field. ((foreign_library): support (enabled_if) dune#9914,
  @nojb)

Fixed

• Fix $ dune install -p incorrectly recognizing packages that are supposed to
  be filtered (refactor: move stanza/package evaluation from Only_packages dune#9879, fixes dune install -p <pkg> requires every packages from the project to be installed, not just <pkg> dune#4814, @rgrinberg)

• subst: correctly handle opam files in opam/ subdirectory (fix(subst): subst for opam files in opam/ subdir dune#9895, fixes dune subst and opam/ subfolder dune#9862,
  @emillon)

• Odoc private rules are not set up if a library is not available due to
  enabled_if (fix: don't add odoc private rules in unavailable libs dune#9897, @rgrinberg and @jchavarri)

Changed

• When dune language 3.14 is enabled, resolve the binary in (run %{bin:..} ..) from where the binary is built. (fix: use original paths in (run ..) dune#9708, @rgrinberg)

• boot: remove single-command bootstrap. This was an alternative bootstrap
  strategy that was used in certain conditions. Removal makes the bootstrap a
  bit slower on Linux when only a single core is available, but bootstrap is
  now reproducible in all cases. (boot: remove single-command bootstrap dune#9735, fixes bootstrap is not reproducible wrt -j value dune#9507, @emillon)

[emillon]

Contents are the same as alpha1 which passed so we can skip CI if you'd like.

[mseri]

Oh, great! Thanks for letting me know

[mseri]

I had a look this morning, and it seemed fine. Then I'd say, let's merge.

[emillon]

(the only meaningful failure was dune-release for which I added the bound)