[do not merge] [new release] xdg, stdune, ordering, ocamlc-loc, fiber, dyn, dune, dune-site, dune-rpc, dune-rpc-lwt, dune-private-libs, dune-glob, dune-configurator, dune-build-info, dune-action-plugin and chrome-trace (3.5.0~alpha1)

[emillon]

XDG Base Directory Specification

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

CHANGES:

• Sandbox running cinaps actions starting from cinaps 1.1 (feature(cinaps): sandbox running cinaps actions dune#6176, @rgrinberg)

• Add a runtime_deps field in the cinaps stanza to specify runtime
  dependencies for running the cinaps preprocessing action (feature(cinaps): runtime dependencies dune#6175, @rgrinberg)

• Shadow alias module Foo__ when building a library Foo (feature: shadow alias module dune#6126, @rgrinberg)

• Extend dune describe to include the root path of the workspace and the
  relative path to the build directory. (Add root and build context to dune describe output dune#6136, @reubenrowe)

• Allow dune describe workspace to accept directories as arguments.
  The provided directories restrict the worskpace description to those
  directories. (allow dune describe workspace to accept directories as arguments dune#6107, fixes "dune describe": allow to describe specific libraries and directories dune#3893, @esope)

• Add a terminal persistence mode that attempts to clear the terminal history.
  It is enabled by setting terminal persistence to
  clear-on-rebuild-and-flush-history (feature: new terminal persistence mode dune#6065, @rgrinberg)

• Disallow generating targets in sub direcories in inferred rules. The check to
  forbid this was accidentally done only for manually specified targets (fix: disallow targets in subdirs dune#6031,
  @rgrinberg)

• Do not ignore rules marked (promote (until-clean)) when
  --ignore-promoted-rules (or -p) is passed. (Record the fact that odoc reads ODOC_SYNTAX dune#6010, fixes Bad interaction between '(mode promote-until-clean)' and tests ran with '-p <pkg>' dune#4401, @emillon)

• Dune no longer considers .aux files as targets during Coq compilation. This
  means that .aux files are no longer cached. (remove .aux targets from coqc rule dune#6024, fixes --cache-check-probability gives "false" positives on Coq builds dune#6004, @Alizter)

• Cinaps actions are now sandboxed by default (feature: sandbox cinaps actions dune#6062, @rgrinberg)

• Allow rules producing directory targets to be not sandboxed (feature: relax directory target rules dune#6056,
  @rgrinberg)

• Introduce a dirs field in the install stanza to install entire
  directories (feature: install dir dune#5097, fixes Install directories dune#5059, @rgrinberg)

• Menhir rules are now sandboxed by default (feature: sandbox menhir actions dune#6076, @rgrinberg)

• Allow rules producing directory targets to create symlinks (fix(dir-target): allow producing symlinks dune#6077, fixes
  Directory targets that contain symlinks dune#5945, @rgrinberg)

• Inline tests are now sandboxed by default (feature: sandbox inline tests rules dune#6079, @rgrinberg)

• Fix build-info version when used with flambda (fix(duild-info): reapply flambda fix from #3599 removed in #5049 dune#6089, fixes Regression of dune-build-info with flambda dune#6075, @jberdine)

• Add an (include <file>) term to the include_dirs field for adding
  directories to the include paths sourced from a file. (Add (:include <file>) terms to include_dir field dune#6058, fixes allow :include in include_dirs field dune#3993,
  @gridbugs)

• Support (extra_objects ...) field in (executable ...) and (library ...) stanzas (Support (foreign_objects ...) field dune#6084, fixes Allow compilation with foreign object files dune#4129, @gridbugs)

• Fix compilation of Dune under esy on Windows (XDG stubs: require Vista functions dune#6109, fixes Dune 3.4+ broken in esy on Windows dune#6098, @nojb)

• Improve error message when parsing several licenses in (license) (Improve error when parsing several licenses dune#6114,
  fixes Error trying to give multiple licenses dune#6103, @emillon)

• odoc rules now about ODOC_SYNTAX and will rerun accordingly (Record the fact that odoc reads ODOC_SYNTAX dune#6010, fixes
  Add support for Reason doc generation dune#1117, @emillon)

• dune install: copy files in an atomic way (Refactor: use copy_file in install/uninstall dune#6150, @emillon)

• Add %{coq:...} macro for accessing data about the configuration about Coq.
  For instance %{coq:version} (feature(coq): coq macro dune#6049, @Alizter)

• update vendored copy of cmdliner to 1.1.1. This improves the built-in
  documentation for command groups such as dune ocaml. (Upgrade cmdliner fork to 1.1.1 dune#6038, @emillon,
  Migrate init subcommand to use cmdliner nested subcommand API dune#6169, @shonfeder)

• The test suite for Coq now requires Coq >= 8.16 due to changes in the
  plugin loading mechanism upstream (which now uses findlib).

• Starting with Coq build language 0.6, theories can be built without importing
  Coq's standard library by including (stdlib no).
  ([coq] Fix composition of boot library when it has plugins, add field to allow libraries to opt out of stdlib dune#6165 Create (stdlib) syntax for Coq stanza dune#6164, fixes Coq stanzas cannot be independent of coq-stdlib dune#6163, @ejgallego @Alizter @LasseBlaauwbroek)

• on macOS, sign executables produced by artifact substitution (Call codesign after artifact substitution on macos dune#6137, fixes
  For Apple M1, binary substitution breaks codesign dune#5650, @emillon)

• Added an (aliases ...) field to the (rules ...) stanza which allows the
  specification of multiple aliases per rule (feature: multiple alias support in rules dune#6194, @Alizter)

[emillon]

This is a "do not merge" alpha to check revdeps while we prepare 3.5.0.

[emillon]

I went through the failures and compared with 3.4 and the latest opam-health-check run. I don't think that there are relevant errors in the main runs.
Failures can be classified as:

• network/checksum errors
• "Internal error while computing conflict explanations" happen when package depends on dune < 3 {with-test}
• for some reason, dune and dune-configurator versions are considered, but fail because the pinned version is different
• uring.0.1 hits a memory error in tests
• labrys.0.1 has unrelated errors during tests (not caught in health check because it does not run tests)

The Stdune__ error on homebrew is strange. That might be related to ocaml/dune#6126 but I can't find a reason why it would only trigger on mac.

[kit-ty-kate]

I agree, none of the errors seem to be related. Looks good to go for a full release

[emillon]

yep. the actual release will contain a couple more PRs so it will still require full testing.