[ANN] dune 3.15

We’ve released 3.15.1 and 3.15.2. The latter is particularly important for Coq users since it fixes a regression in incremental compilation introduced in 3.13.0.

Here’s the combined changelog:


  • Fix overflow in sendfile stubs (copy of large files could fail or end with truncated files) (#10333, @tonyfettes)

  • Fix crash when a rule with a directory target is disabled with enabled_if (#10382, fixes #10310, @gridbugs)

  • melange: remove all restrictions around virtual libraries in Melange. They may be used as otherwise in libraries and executables. (#10412, @anmonteiro)

  • spawn: fix compatibility with RHEL7 (#10428, @emillon)

  • If no directory targets are defined, then do not evaluate enabled_if (#10442, @rgrinberg)

  • Fix a bug where Coq projects were being rebuilt from scratch each time the dependency graph changed. (#10446, fixes #10149, @alizter)