From 704cbc9cdee9bd7c371b40a4189256e409acdf96 Mon Sep 17 00:00:00 2001 From: Etienne Millon Date: Tue, 16 Jan 2024 10:36:20 +0100 Subject: [PATCH] chore: merge 3.13.0 changelog Signed-off-by: Etienne Millon --- CHANGES.md | 84 +++++++++++++++++++ doc/changes/8447.md | 2 - doc/changes/8975.md | 2 - doc/changes/9231_coq.md | 2 - doc/changes/9282.md | 1 - doc/changes/9309.md | 2 - doc/changes/9347_fix_coq_boot_bug.md | 2 - doc/changes/9387.md | 2 - doc/changes/9439_coq_disable_08_warning.md | 1 - .../9447_fix_dune_init_proj_with_path.md | 4 - doc/changes/9449.md | 2 - doc/changes/9461.md | 2 - doc/changes/9496.md | 3 - doc/changes/9512.md | 6 -- doc/changes/9515.md | 1 - doc/changes/9535.md | 1 - doc/changes/9568.md | 2 - doc/changes/9578.md | 4 - doc/changes/9643.md | 2 - doc/changes/9659.md | 2 - doc/changes/9707.md | 3 - doc/changes/coqdoc-flags.md | 2 - doc/changes/ctypes-no-stubs.md | 3 - 23 files changed, 84 insertions(+), 51 deletions(-) delete mode 100644 doc/changes/8447.md delete mode 100644 doc/changes/8975.md delete mode 100644 doc/changes/9231_coq.md delete mode 100644 doc/changes/9282.md delete mode 100644 doc/changes/9309.md delete mode 100644 doc/changes/9347_fix_coq_boot_bug.md delete mode 100644 doc/changes/9387.md delete mode 100644 doc/changes/9439_coq_disable_08_warning.md delete mode 100644 doc/changes/9447_fix_dune_init_proj_with_path.md delete mode 100644 doc/changes/9449.md delete mode 100644 doc/changes/9461.md delete mode 100644 doc/changes/9496.md delete mode 100644 doc/changes/9512.md delete mode 100644 doc/changes/9515.md delete mode 100644 doc/changes/9535.md delete mode 100644 doc/changes/9568.md delete mode 100644 doc/changes/9578.md delete mode 100644 doc/changes/9643.md delete mode 100644 doc/changes/9659.md delete mode 100644 doc/changes/9707.md delete mode 100644 doc/changes/coqdoc-flags.md delete mode 100644 doc/changes/ctypes-no-stubs.md diff --git a/CHANGES.md b/CHANGES.md index 433c3d7c065c..d6f9181594c5 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -5,6 +5,90 @@ 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.13.0 (2024-01-16) +------------------- + +### 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) + +- Copying mode for sandboxes will now follow symbolic links (#9282, @rgrinberg) + +- Forbid the empty `(binaries ..)` field in the `env` stanza in the workspace + file unless language version is at least 3.2. + +- [coq] Fix bug in computation of flags when composed with boot theories. + (#9347, fixes #7909, @ejgallego) + +- Fixed a bug where the `(select)` field of the `(libraries)` field of the + `(test)` stanza wasn't working properly. (#9387, fixes #9365, @Alizter) + +- 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) + +- Experimental doc rules: Correctly handle the case when a package depends upon + its own sublibraries (#9461, fixes #9456, @jonludlam) + +- Resolve various public binaries to their build location, rather than to where + they're copied in the `_build/install` directory (#9496, fixes #7908, + @rgrinberg). + +- Correctly ignore warning flags in vendored projects (#9515, @rgrinberg) + +- Use watch exclusions in watch mode on MacOS (#9643, fixes #9517, + @PoorlyDefinedBehaviour) + +- Fix merlin configuration for `(include_subdirs qualified)` modules (#9659, + fixes #8297, @rgrinberg) + +- Fix handling of `enabled_if` in binary install stanzas. Previously, we'd + ignore the result of `enabled_if` when evaluating `%{bin:..}` (#9707, + @rgrinberg) + 3.12.2 (2024-01-05) ------------------- diff --git a/doc/changes/8447.md b/doc/changes/8447.md deleted file mode 100644 index 9d47c9d60138..000000000000 --- a/doc/changes/8447.md +++ /dev/null @@ -1,2 +0,0 @@ -- Do not ignore `(formatting ..)` settings in context or workspace files - (#8447, @rgrinberg) diff --git a/doc/changes/8975.md b/doc/changes/8975.md deleted file mode 100644 index 2232165ae5dd..000000000000 --- a/doc/changes/8975.md +++ /dev/null @@ -1,2 +0,0 @@ -- Add command `dune cache clear` to completely delete all traces of the Dune - cache. (#8975, @nojb) diff --git a/doc/changes/9231_coq.md b/doc/changes/9231_coq.md deleted file mode 100644 index b42918a16640..000000000000 --- a/doc/changes/9231_coq.md +++ /dev/null @@ -1,2 +0,0 @@ -- 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) \ No newline at end of file diff --git a/doc/changes/9282.md b/doc/changes/9282.md deleted file mode 100644 index e7d31298f6d8..000000000000 --- a/doc/changes/9282.md +++ /dev/null @@ -1 +0,0 @@ -- Copying mode for sandboxes will now follow symbolic links (#9282, @rgrinberg) diff --git a/doc/changes/9309.md b/doc/changes/9309.md deleted file mode 100644 index 86fd3bead1b9..000000000000 --- a/doc/changes/9309.md +++ /dev/null @@ -1,2 +0,0 @@ -- Forbid the empty `(binaries ..)` field in the `env` stanza in the workspace - file unless language version is at least 3.2. diff --git a/doc/changes/9347_fix_coq_boot_bug.md b/doc/changes/9347_fix_coq_boot_bug.md deleted file mode 100644 index 7d8f468898b7..000000000000 --- a/doc/changes/9347_fix_coq_boot_bug.md +++ /dev/null @@ -1,2 +0,0 @@ -- [coq] Fix bug in computation of flags when composed with boot theories. - (#9347, fixes #7909, @ejgallego) diff --git a/doc/changes/9387.md b/doc/changes/9387.md deleted file mode 100644 index 5ac2f25ff70f..000000000000 --- a/doc/changes/9387.md +++ /dev/null @@ -1,2 +0,0 @@ -- Fixed a bug where the `(select)` field of the `(libraries)` field of the - `(test)` stanza wasn't working properly. (#9387, fixes #9365, @Alizter) \ No newline at end of file diff --git a/doc/changes/9439_coq_disable_08_warning.md b/doc/changes/9439_coq_disable_08_warning.md deleted file mode 100644 index 30703eeb5221..000000000000 --- a/doc/changes/9439_coq_disable_08_warning.md +++ /dev/null @@ -1 +0,0 @@ -- Allow to disable Coq 0.8 deprecation warning (#9439, @ejgallego) diff --git a/doc/changes/9447_fix_dune_init_proj_with_path.md b/doc/changes/9447_fix_dune_init_proj_with_path.md deleted file mode 100644 index b7a0499873d9..000000000000 --- a/doc/changes/9447_fix_dune_init_proj_with_path.md +++ /dev/null @@ -1,4 +0,0 @@ -- 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) diff --git a/doc/changes/9449.md b/doc/changes/9449.md deleted file mode 100644 index 940ac15d32f0..000000000000 --- a/doc/changes/9449.md +++ /dev/null @@ -1,2 +0,0 @@ -- Allow `OCAMLFIND_TOOLCHAIN` to be set per context in the workspace file - through the `env` stanza. (#9449, @rgrinberg) diff --git a/doc/changes/9461.md b/doc/changes/9461.md deleted file mode 100644 index dbd9704ad41d..000000000000 --- a/doc/changes/9461.md +++ /dev/null @@ -1,2 +0,0 @@ -- Experimental doc rules: Correctly handle the case when a package depends upon - its own sublibraries (#9461, fixes #9456, @jonludlam) diff --git a/doc/changes/9496.md b/doc/changes/9496.md deleted file mode 100644 index c0f8e95bb6f1..000000000000 --- a/doc/changes/9496.md +++ /dev/null @@ -1,3 +0,0 @@ -- Resolve various public binaries to their build location, rather than to where - they're copied in the `_build/install` directory (#9496, fixes #7908, - @rgrinberg). diff --git a/doc/changes/9512.md b/doc/changes/9512.md deleted file mode 100644 index 5e6adc1eb849..000000000000 --- a/doc/changes/9512.md +++ /dev/null @@ -1,6 +0,0 @@ -- 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) diff --git a/doc/changes/9515.md b/doc/changes/9515.md deleted file mode 100644 index e1ec59452a05..000000000000 --- a/doc/changes/9515.md +++ /dev/null @@ -1 +0,0 @@ -- Correctly ignore warning flags in vendored projects (#9515, @rgrinberg) diff --git a/doc/changes/9535.md b/doc/changes/9535.md deleted file mode 100644 index 50c24a77bd5e..000000000000 --- a/doc/changes/9535.md +++ /dev/null @@ -1 +0,0 @@ -- Directory targets can now be caches. (#9535, @rleshchinskiy) \ No newline at end of file diff --git a/doc/changes/9568.md b/doc/changes/9568.md deleted file mode 100644 index 5254aaf9886c..000000000000 --- a/doc/changes/9568.md +++ /dev/null @@ -1,2 +0,0 @@ -- Remove warning 30 from default set for projects where dune lang is at least - 3.13 (#9568, @gasche) diff --git a/doc/changes/9578.md b/doc/changes/9578.md deleted file mode 100644 index 414216c28b2c..000000000000 --- a/doc/changes/9578.md +++ /dev/null @@ -1,4 +0,0 @@ -- 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) diff --git a/doc/changes/9643.md b/doc/changes/9643.md deleted file mode 100644 index 730e4dee8f69..000000000000 --- a/doc/changes/9643.md +++ /dev/null @@ -1,2 +0,0 @@ -- Use watch exclusions in watch mode on MacOS (#9643, fixes #9517, - @PoorlyDefinedBehaviour) diff --git a/doc/changes/9659.md b/doc/changes/9659.md deleted file mode 100644 index f8ae3d027a60..000000000000 --- a/doc/changes/9659.md +++ /dev/null @@ -1,2 +0,0 @@ -- Fix merlin configuration for `(include_subdirs qualified)` modules (#9659, - fixes #8297, @rgrinberg) diff --git a/doc/changes/9707.md b/doc/changes/9707.md deleted file mode 100644 index 0971035e93e4..000000000000 --- a/doc/changes/9707.md +++ /dev/null @@ -1,3 +0,0 @@ -- Fix handling of `enabled_if` in binary install stanzas. Previously, we'd - ignore the result of `enabled_if` when evaluating `%{bin:..}` (#9707, - @rgrinberg) diff --git a/doc/changes/coqdoc-flags.md b/doc/changes/coqdoc-flags.md deleted file mode 100644 index 959896eac0b2..000000000000 --- a/doc/changes/coqdoc-flags.md +++ /dev/null @@ -1,2 +0,0 @@ -- Add `coqdoc_flags` field to `coq` field of `env` stanza allowing the setting - of workspace-wide defaults for `coqdoc_flags`. (#9280, fixes #9139, @Alizter) diff --git a/doc/changes/ctypes-no-stubs.md b/doc/changes/ctypes-no-stubs.md deleted file mode 100644 index 0283e56f8fa1..000000000000 --- a/doc/changes/ctypes-no-stubs.md +++ /dev/null @@ -1,3 +0,0 @@ -- 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)