diff --git a/CHANGES.md b/CHANGES.md index ed15ba62e61..39e1b9c8ae9 100644 --- a/CHANGES.md +++ b/CHANGES.md @@ -5,6 +5,74 @@ 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.16.0 (2024-06-17) +------------------- + +### Added + +- allow libraries with the same `(name ..)` in projects as long as they don't + conflict during resolution (via `enabled_if`). (#10307, @anmonteiro, + @jchavarri) + +- `dune describe pp` now finds the exact module and the stanza it belongs to, + instead of guessing the name of the preprocessed file. (#10321, @anmonteiro) + +- Print the result of `dune describe pp` with the respective dialect printer. + (#10322, @anmonteiro) + +- Add new flag `--context` to `dune ocaml-merlin`, which allows to select a + Dune context when requesting Merlin config. Add `dune describe contexts` + subcommand. Introduce a field `generate_merlin_rules` for contexts declared + in the workspace, that allows to optionally produce Merlin rules for other + contexts besides the one selected for Merlin (#10324, @jchavarri) + +- melange: add include paths for private library `.cmj` files during JS + emission. (#10416, @anmonteiro) + +- `dune ocaml-merlin`: communicate additional directives `SOURCE_ROOT`, + `UNIT_NAME` (the actual name with wrapping) and `INDEX` with the paths to the + index(es). (#10422, @voodoos) + +- Add a new alias `@ocaml-index` that uses the `ocaml-index` binary to generate + indexes that can be read by tools such as Merlin to provide project-wide + references search. (#10422, @voodoos) + +- merlin: add optional `(merlin_reader CMD)` construct to `(dialect)` stanza to + configure a merlin reader (#8567, @andreypopp) + +### Changed + +- melange: treat private libraries with `(package ..)` as public libraries, + fixing an issue where `import` paths were wrongly emitted. (#10415, + @anmonteiro) + +- install `.glob` files for Coq theories too (#10602, @ejgallego) + +### Fixed + +- Don't try to document non-existent libraries in doc-new target (#10319, fixes + #10056, @jonludlam) + +- Make `dune-site`'s `load_all` function look for `META` files so that it + doesn't fail on empty directories in the plugin directory (#10458, fixes + #10457, @shym) + +- Fix incorrect warning for libraries defined inside non-existant directories + using `(subdir ..)` and used by executables using `dune-build-info` (#10525, + @rgrinberg) + +- Don't try to take build lock when running `coq top --no-build` (#10547, fixes + #7671, @lzy0505) + +- Make sure to truncate dune's lock file after locking and unlocking so that + users cannot observe incorrect pid's (#10575, @rgrinberg) + +- mdx: link mdx binary with `byte_complete`. This fixes `(libraries)` with + foreign archives on Linux. (#10586, fixes #10582, @anmonteiro) + +- virtual libraries: fix an issue where linking an executable involving several + virtual libries would cause an error. (#10581, fixes #10460, @rgrinberg) + 3.15.3 (2024-05-24) ------------------- diff --git a/doc/changes/10307.md b/doc/changes/10307.md deleted file mode 100644 index 05a87a71ab1..00000000000 --- a/doc/changes/10307.md +++ /dev/null @@ -1,4 +0,0 @@ -- allow libraries with the same `(name ..)` in projects as long as they don't - conflict during resolution (via `enabled_if`). (#10307, @anmonteiro, - @jchavarri) - diff --git a/doc/changes/10319.md b/doc/changes/10319.md deleted file mode 100644 index 2cb2348551c..00000000000 --- a/doc/changes/10319.md +++ /dev/null @@ -1,2 +0,0 @@ -- Don't try to document non-existent libraries in doc-new target (#10319, - fixes #10056, @jonludlam) diff --git a/doc/changes/10321.md b/doc/changes/10321.md deleted file mode 100644 index 9dcede1c882..00000000000 --- a/doc/changes/10321.md +++ /dev/null @@ -1,3 +0,0 @@ -- `dune describe pp` now finds the exact module and the stanza it belongs to, - instead of guessing the name of the preprocessed file. (#10321, @anmonteiro) - diff --git a/doc/changes/10322.md b/doc/changes/10322.md deleted file mode 100644 index 5d96a75e8eb..00000000000 --- a/doc/changes/10322.md +++ /dev/null @@ -1,3 +0,0 @@ -- Print the result of `dune describe pp` with the respective dialect printer. - (#10322, @anmonteiro) - diff --git a/doc/changes/10324.md b/doc/changes/10324.md deleted file mode 100644 index 9e6f2577c5f..00000000000 --- a/doc/changes/10324.md +++ /dev/null @@ -1,5 +0,0 @@ -- Add new flag `--context` to `dune ocaml-merlin`, which allows to select a Dune - context when requesting Merlin config. Add `dune describe contexts` - subcommand. Introduce a field `generate_merlin_rules` for contexts declared in - the workspace, that allows to optionally produce Merlin rules for other - contexts besides the one selected for Merlin (#10324, @jchavarri) diff --git a/doc/changes/10415.md b/doc/changes/10415.md deleted file mode 100644 index d6513d0ad13..00000000000 --- a/doc/changes/10415.md +++ /dev/null @@ -1,3 +0,0 @@ -- melange: treat private libraries with `(package ..)` as public libraries, - fixing an issue where `import` paths were wrongly emitted. (#10415, - @anmonteiro) diff --git a/doc/changes/10416.md b/doc/changes/10416.md deleted file mode 100644 index 47c144d535f..00000000000 --- a/doc/changes/10416.md +++ /dev/null @@ -1,3 +0,0 @@ -- melange: add include paths for private library `.cmj` files during JS - emission. (#10416, @anmonteiro) - diff --git a/doc/changes/10422.md b/doc/changes/10422.md deleted file mode 100644 index b298dd1a8b8..00000000000 --- a/doc/changes/10422.md +++ /dev/null @@ -1,7 +0,0 @@ -- `dune ocaml-merlin`: communicate additional directives `SOURCE_ROOT`, - `UNIT_NAME` (the actual name with wrapping) and `INDEX` with the paths to the - index(es). (#10422, @voodoos) - -- Add a new alias `@ocaml-index` that uses the `ocaml-index` binary to generate - indexes that can be read by tools such as Merlin to provide project-wide - references search. (#10422, @voodoos) diff --git a/doc/changes/10458.md b/doc/changes/10458.md deleted file mode 100644 index 8b7a3f8cdae..00000000000 --- a/doc/changes/10458.md +++ /dev/null @@ -1,3 +0,0 @@ -- Make `dune-site`'s `load_all` function look for `META` files so that it - doesn't fail on empty directories in the plugin directory (#10458, fixes - #10457, @shym) diff --git a/doc/changes/10525.md b/doc/changes/10525.md deleted file mode 100644 index 270aad014c4..00000000000 --- a/doc/changes/10525.md +++ /dev/null @@ -1,3 +0,0 @@ -- Fix incorrect warning for libraries defined inside non-existant directories - using `(subdir ..)` and used by executables using `dune-build-info` (#10525, - @rgrinberg) diff --git a/doc/changes/10547.md b/doc/changes/10547.md deleted file mode 100644 index cb0f035cd8c..00000000000 --- a/doc/changes/10547.md +++ /dev/null @@ -1,2 +0,0 @@ -- Don't try to take build lock when running `coq top --no-build` (#10547, - fixes #7671, @lzy0505) diff --git a/doc/changes/10575.md b/doc/changes/10575.md deleted file mode 100644 index bd39ca7bb7c..00000000000 --- a/doc/changes/10575.md +++ /dev/null @@ -1,2 +0,0 @@ -- Make sure to truncate dune's lock file after locking and unlocking so that - users cannot observe incorrect pid's (#10575, @rgrinberg) diff --git a/doc/changes/10586.md b/doc/changes/10586.md deleted file mode 100644 index a118125e04a..00000000000 --- a/doc/changes/10586.md +++ /dev/null @@ -1,2 +0,0 @@ -- mdx: link mdx binary with `byte_complete`. This fixes `(libraries)` with foreign archives on Linux. - (#10586, fixes #10582, @anmonteiro) diff --git a/doc/changes/10602.md b/doc/changes/10602.md deleted file mode 100644 index 4dd61882fd7..00000000000 --- a/doc/changes/10602.md +++ /dev/null @@ -1 +0,0 @@ -- install `.glob` files for Coq theories too (#10602, @ejgallego) diff --git a/doc/changes/8567.md b/doc/changes/8567.md deleted file mode 100644 index 64cd6d2ca9d..00000000000 --- a/doc/changes/8567.md +++ /dev/null @@ -1,3 +0,0 @@ -- merlin: add optional `(merlin_reader CMD)` construct to `(dialect)` stanza to - configure a merlin reader (#8567, @andreypopp) -