From 21f904250f8bc27abbeafadf70682aceb198b1e3 Mon Sep 17 00:00:00 2001 From: Etienne Millon Date: Tue, 16 Jan 2024 09:42:59 +0100 Subject: [PATCH] chore: prepare 3.13.0 changelog (#9751) Signed-off-by: Etienne Millon --- CHANGES.md | 73 ++++++++++++++++++++++++++++++------------------------ 1 file changed, 41 insertions(+), 32 deletions(-) diff --git a/CHANGES.md b/CHANGES.md index d5dd8f15fcb..833fa3e1418 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -1,12 +1,49 @@ -3.13.0~alpha1 (2024-01-12) --------------------------- +3.13.0 (2024-01-16) +------------------- -- Do not ignore `(formatting ..)` settings in context or workspace files - (#8447, @rgrinberg) +### Added - Add command `dune cache clear` to completely delete all traces of the Dune cache. (#8975, @nojb) +- Allow to disable Coq 0.8 deprecation warning (#9439, @ejgallego) + +- Allow `OCAMLFIND_TOOLCHAIN` to be set per context in the workspace file + through the `env` stanza. (#9449, @rgrinberg) + +- Menhir: generate `.conflicts` file by default. Add new field to the + `(menhir)` stanza to control the generation of this file: `(explain )`. Introduce `(menhir (flags ...) (explain ...))` field in the + `(env)` stanza, delete `(menhir_flags)` field. All changes are guarded under + a new version of the Menhir extension, 3.0. (#9512, @nojb) + +- Directory targets can now be cached. (#9535, @rleshchinskiy) + +- It is now possible to use special forms such as `(:include)` and variables + `%{read-lines:}` in `(modules)` and similar fields. Note that the + dependencies introduced in this way (ie the files being read) must live in a + different directory than the stanza making use of them. (#9578, @nojb) + +- Remove warning 30 from default set for projects where dune lang is at least + 3.13 (#9568, @gasche) + +- Add `coqdoc_flags` field to `coq` field of `env` stanza allowing the setting + of workspace-wide defaults for `coqdoc_flags`. (#9280, fixes #9139, @Alizter) + +- ctypes: fix an error where `(ctypes)` with no `(function_description)` would + cause an error trying refer to a nonexistent `_stubs.a` dependency (#9302, + fix #9300, @emillon) + +### Changed + +- Check that package names in `(depends)` and related fields in `dune-project` + are well-formed. (#9472, fixes #9270, @ElectreAAS) + +### Fixed + +- Do not ignore `(formatting ..)` settings in context or workspace files + (#8447, @rgrinberg) + - Fixed a bug where Dune was incorrectly parsing the output of coqdep when it was escaped, as is the case on Windows. (#9231, fixes #9218, @Alizter) @@ -21,16 +58,11 @@ - Fixed a bug where the `(select)` field of the `(libraries)` field of the `(test)` stanza wasn't working properly. (#9387, fixes #9365, @Alizter) -- Allow to disable Coq 0.8 deprecation warning (#9439, @ejgallego) - - Fix handling of the `PATH` argument to `dune init proj NAME PATH`. An intermediate directory called `NAME` is no longer created if `PATH` is supplied, so `dune init proj my_project .` will now initialize a project in the current working directory. (#9447, fixes #9209, @shonfeder) -- Allow `OCAMLFIND_TOOLCHAIN` to be set per context in the workspace file - through the `env` stanza. (#9449, @rgrinberg) - - Experimental doc rules: Correctly handle the case when a package depends upon its own sublibraries (#9461, fixes #9456, @jonludlam) @@ -38,24 +70,8 @@ they're copied in the `_build/install` directory (#9496, fixes #7908, @rgrinberg). -- Menhir: generate `.conflicts` file by default. Add new field to the - `(menhir)` stanza to control the generation of this file: `(explain )`. Introduce `(menhir (flags ...) (explain ...))` field in the - `(env)` stanza, delete `(menhir_flags)` field. All changes are guarded under - a new version of the Menhir extension, 3.0. (#9512, @nojb) - - Correctly ignore warning flags in vendored projects (#9515, @rgrinberg) -- Directory targets can now be caches. (#9535, @rleshchinskiy) - -- Remove warning 30 from default set for projects where dune lang is at least - 3.13 (#9568, @gasche) - -- It is now possible to use special forms such as `(:include)` and variables - `%{read-lines:}` in `(modules)` and similar fields. Note that the - dependencies introduced in this way (ie the files being read) must live in a - different directory than the stanza making use of them. (#9578, @nojb) - - Use watch exclusions in watch mode on MacOS (#9643, fixes #9517, @PoorlyDefinedBehaviour) @@ -66,13 +82,6 @@ ignore the result of `enabled_if` when evaluating `%{bin:..}` (#9707, @rgrinberg) -- Add `coqdoc_flags` field to `coq` field of `env` stanza allowing the setting - of workspace-wide defaults for `coqdoc_flags`. (#9280, fixes #9139, @Alizter) - -- ctypes: fix an error where `(ctypes)` with no `(function_description)` would - cause an error trying refer to a nonexistent `_stubs.a` dependency (#9302, - fix #9300, @emillon) - 3.12.2 (2024-01-05) -------------------