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

[emillon]

Fast, portable, and opinionated build system

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

CHANGES:

• Validate file extension for $ dune ocaml top-module. (Validate top-module input dune#8005, fixes dune ocaml top-module crashes when file doesn't have .ml extension or is directory dune#8004, @3Rafal)

• Include the time it takes to read/write state files when --trace-file is
  enabled (feature: trace loading/marshalling files dune#7960, @rgrinberg)

• Add dune show command group which is an alias of dune describe. (create dune show command group dune#7946,
  @Alizter)

• Include source tree scans in the traces produced by --trace-file (feature: extend traces to include source scans dune#7937,
  @rgrinberg)

• Cinaps: The promotion rules for cinaps would only offer one file at a time no
  matter how many promotions were available. Now we offer all the promotions at
  once (fix(cinaps): offer all promotions dune#7901, @rgrinberg)

• Do not re-run OCaml syntax files on every iteration of the watch mode. This
  is too memory consuming. (fix: do not re-run jbuild syntax dune files on every run dune#7894, fix dune build -w memory usage grows without bounds when using OCaml syntax in dune files dune#6900, @rgrinberg)

• Add --all option to dune rpc status to show all Dune RPC servers running.
  (rpc: dune rpc status --all dune#8011, fix Display all Running Dune Instances dune#7902, @Alizter)

• Remove some compatibility code for old version of dune that generated
  .merlin files. Now dune will never remove .merlin files automatically
  (fix: remove .merlin handling from the engine dune#7562)

• Add dune show env command and make dune printenv an alias of it. (feature: add dune show env and make dune printenv an alias of it dune#7985,
  @Alizter)

• Add additional metadata to the traces provided by --trace-file whenever
  --trace-extended is passed (Trace more data dune#7778, @rleshchinskiy)

• Extensions used in (dialect) can contain periods (e.g., cppo.ml). (dialects: allow extensions containing periods dune#7782,
  fixes Support multiple extensions in (dialect) patterns dune#7777, @nojb)

• Allow (include_subdirs qualified) to be used when libraries define a
  (modules ...) field (test: demonstrate include_subdirs qualified crash with modules OSL dune#7797, fixes Crash when combining (include_subdirs qualified) and (modules :standard \ ...) dune#7597, @anmonteiro)

• $ dune describe is now a command group, so arguments to subcommands must be
  passed after subcommand itself. (split describe into cmdliner subcommands dune#7919, @Alizter)

• The interface and implementation fields of a (dialect) are now optional
  (Make the interface and implementation fields of a dialect optional dune#7757, @gpetiot)

• Add commands dune show targets and dune show aliases that display all the
  available targets and aliases in a given directory respectively. (feature: dune show targets and dune show aliases dune#7770,
  grants Diagnose missing target errors dune#265, @Alizter)

• Allow multiple globs in library's (stdlib (internal_modules ..))
  (@anmonteiro, feat: allow multiple globs in library's (stdlib (internal_modules ...)) dune#7878)

• Attach melange rules to the default alias (melange - add melange.emit targets to @all alias as well by default dune#7926, @haochenx)

• In opam constraints, reject (and) and (or) with no arguments at parse
  time (fix(opam): cleanly reject argumentless (and)/(or) dune#7730, @emillon)

• Compute digests and manage sandboxes in background threads (feature: enable async sandboxing/digests dune#7947,
  @rgrinberg)

• Add (build_if) to the (test) stanza. When it evaluates to false, the
  executable is not built. (add: build_if in test stanza dune#7899, fixes enabled_if doesn't work in (test) dune#6938, @emillon)

• Add necessary parentheses in generated opam constraints (opam_constraint t result should respect precedence dune#7682, fixes Opam constraints operator precedence is not honored. dune#3431,
  @Lucccyo)

[emillon]

As usual, I'll have a look at all the failures.

[emillon]

I had a look; there are no regressions here. It's good to go for me.

[avsm]

Thanks! You may want to announce this on https://discuss.ocaml.org, where we have a Community category and an announce tag for this purpose.