From 122d1c917bf39a2e39cc2606345113483e6446cc Mon Sep 17 00:00:00 2001 From: Etienne Millon Date: Mon, 12 Feb 2024 16:56:18 +0100 Subject: [PATCH] chore: add 3.14.0 changelog (#9977) Signed-off-by: Etienne Millon --- CHANGES.md | 43 +++++++++++++++++++++++++ doc/changes/9705.md | 2 -- doc/changes/9708.md | 2 -- doc/changes/9735-single-command-boot.md | 4 --- doc/changes/9772.md | 2 -- doc/changes/9827.md | 2 -- doc/changes/9879.md | 2 -- doc/changes/9895-subst-opam.md | 2 -- doc/changes/9897.md | 2 -- doc/changes/9913.md | 4 --- doc/changes/9914.md | 2 -- 11 files changed, 43 insertions(+), 24 deletions(-) delete mode 100644 doc/changes/9705.md delete mode 100644 doc/changes/9708.md delete mode 100644 doc/changes/9735-single-command-boot.md delete mode 100644 doc/changes/9772.md delete mode 100644 doc/changes/9827.md delete mode 100644 doc/changes/9879.md delete mode 100644 doc/changes/9895-subst-opam.md delete mode 100644 doc/changes/9897.md delete mode 100644 doc/changes/9913.md delete mode 100644 doc/changes/9914.md diff --git a/CHANGES.md b/CHANGES.md index f2a8881f832..8dca4780373 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -5,6 +5,49 @@ If you're a contributor, please include your CHANGES entry in a file `doc/changes/$PR_NAME.md`. At release time, it will be incoporated into the changelog properly. +3.14.0 (2024-02-12) +------------------- + +### 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. (#9913, @rgrinberg) + +- Introduce `$ dune promotion list` to print the list of available promotions. + (#9705, @moyodiallo) + +- If Sherlodoc is installed, add a search bar in generated HTML docs (#9772, + @EmileTrotignon) + +- Add `only_sources` field to `copy_files` stanza (#9827, fixes #9709, + @jchavarri) + +- The `(foreign_library)` stanza now supports the `(enabled_if)` field. (#9914, + @nojb) + +### Fixed + +- Fix `$ dune install -p` incorrectly recognizing packages that are supposed to + be filtered (#9879, fixes #4814, @rgrinberg) + +- subst: correctly handle opam files in opam/ subdirectory (#9895, fixes #9862, + @emillon) + +- Odoc private rules are not set up if a library is not available due to + `enabled_if` (#9897, @rgrinberg and @jchavarri) + +### Changed + +- When dune language 3.14 is enabled, resolve the binary in `(run %{bin:..} + ..)` from where the binary is built. (#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. (#9735, fixes #9507, @emillon) + 3.13.1 (2024-02-05) ------------------- diff --git a/doc/changes/9705.md b/doc/changes/9705.md deleted file mode 100644 index 240191848dd..00000000000 --- a/doc/changes/9705.md +++ /dev/null @@ -1,2 +0,0 @@ -- Introduce `$ dune promotion list` to print the list of available promotions. - (#9705, @moyodiallo) diff --git a/doc/changes/9708.md b/doc/changes/9708.md deleted file mode 100644 index e0228264596..00000000000 --- a/doc/changes/9708.md +++ /dev/null @@ -1,2 +0,0 @@ -- When dune language 3.14 is enabled, resolve the binary in `(run %{bin:..} - ..)` from where the binary is built. (#9708, @rgrinberg) diff --git a/doc/changes/9735-single-command-boot.md b/doc/changes/9735-single-command-boot.md deleted file mode 100644 index d6b4c3de3a7..00000000000 --- a/doc/changes/9735-single-command-boot.md +++ /dev/null @@ -1,4 +0,0 @@ -- 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. (#9735, fixes #9507, @emillon) diff --git a/doc/changes/9772.md b/doc/changes/9772.md deleted file mode 100644 index 53329e6a425..00000000000 --- a/doc/changes/9772.md +++ /dev/null @@ -1,2 +0,0 @@ -- If Sherlodoc is installed, add a search bar in generated HTML docs (#9772, - @EmileTrotignon) diff --git a/doc/changes/9827.md b/doc/changes/9827.md deleted file mode 100644 index bad7a3ec485..00000000000 --- a/doc/changes/9827.md +++ /dev/null @@ -1,2 +0,0 @@ -- add `only_sources` field to `copy_files` stanza (#9827, fixes #9709, - @jchavarri) diff --git a/doc/changes/9879.md b/doc/changes/9879.md deleted file mode 100644 index 209dd00b52b..00000000000 --- a/doc/changes/9879.md +++ /dev/null @@ -1,2 +0,0 @@ -- Fix `$ dune install -p` incorrectly recognizing packages that are supposed to - be filtered (#9879, fixes #4814, @rgrinberg) diff --git a/doc/changes/9895-subst-opam.md b/doc/changes/9895-subst-opam.md deleted file mode 100644 index 70248cbdaac..00000000000 --- a/doc/changes/9895-subst-opam.md +++ /dev/null @@ -1,2 +0,0 @@ -- subst: correctly handle opam files in opam/ subdirectory - (#9895, fixes #9862, @emillon) diff --git a/doc/changes/9897.md b/doc/changes/9897.md deleted file mode 100644 index d76d8826ac0..00000000000 --- a/doc/changes/9897.md +++ /dev/null @@ -1,2 +0,0 @@ -- Odoc private rules are not set up if a library is not available due to - `enabled_if` (#9897, @rgrinberg and @jchavarri) diff --git a/doc/changes/9913.md b/doc/changes/9913.md deleted file mode 100644 index f621a1cdd6b..00000000000 --- a/doc/changes/9913.md +++ /dev/null @@ -1,4 +0,0 @@ -- 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. (#9913, @rgrinberg) diff --git a/doc/changes/9914.md b/doc/changes/9914.md deleted file mode 100644 index 5255e665438..00000000000 --- a/doc/changes/9914.md +++ /dev/null @@ -1,2 +0,0 @@ -- The `(foreign_library)` stanza now supports the `(enabled_if)` field. (#9914, - @nojb)