CHANGES:

• macOS: Handle unknown fsevents without crashing (#6217, @rgrinberg)

• Enable file watching on MacOS SDK < 10.13. (#6218, @rgrinberg)

• Sandbox running cinaps actions starting from cinaps 1.1 (#6176, @rgrinberg)

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

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

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

• Allow dune describe workspace to accept directories as arguments. The provided directories restrict the worskpace description to those directories. (#6107, fixes #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 (#6065, @rgrinberg)

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

• Do not ignore rules marked (promote (until-clean)) when --ignore-promoted-rules (or -p) is passed. (#6010, fixes #4401, @emillon)

• Dune no longer considers .aux files as targets during Coq compilation. This means that .aux files are no longer cached. (#6024, fixes #6004, @alizter)

• Cinaps actions are now sandboxed by default (#6062, @rgrinberg)

• Allow rules producing directory targets to be not sandboxed (#6056, @rgrinberg)

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

• Menhir rules are now sandboxed by default (#6076, @rgrinberg)

• Allow rules producing directory targets to create symlinks (#6077, fixes #5945, @rgrinberg)

• Inline tests are now sandboxed by default (#6079, @rgrinberg)

• Fix build-info version when used with flambda (#6089, fixes #6075, @jberdine)

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

• Support (extra_objects ...) field in (executable ...) and (library ...) stanzas (#6084, fixes #4129, @gridbugs)

• Fix compilation of Dune under esy on Windows (#6109, fixes #6098, @nojb)

• Improve error message when parsing several licenses in (license) (#6114, fixes #6103, @emillon)

• odoc rules now about ODOC_SYNTAX and will rerun accordingly (#6010, fixes #1117, @emillon)

• dune install: copy files in an atomic way (#6150, @emillon)

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

• update vendored copy of cmdliner to 1.1.1. This improves the built-in documentation for command groups such as dune ocaml. (#6038, @emillon, #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). (#6165 #6164, fixes #6163, @ejgallego @Alizter @LasseBlaauwbroek)

• on macOS, sign executables produced by artifact substitution (#6137, #6231, fixes #5650, fixes #6226, @emillon)

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

• The (coq.theory ...) stanza will now ensure that for each declared (plugin ...), the META file for it is built before calling coqdep. This enables the use of the new Findlib-based loading method in Coq 8.16; however as of Coq 8.16.0, Coq itself has some bugs preventing this to work yet. (#6167 , workarounds #5767, @ejgallego)

• Allow include statement in install stanza (#6139, fixes #256, @gridbugs)

• Handle CSI n K code in ANSI escape codes from commands. (#6214, fixes #5528, @emillon)

• Add a new experimental feature mode_specific_stubs that allows the specification of different flags and sources for foreign stubs depending on the build mode (#5649, @voodoos)