Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add dune.3.14.2 announcement #2190

Merged
merged 2 commits into from
Mar 14, 2024
Merged
Changes from all commits
Commits
File filter

Filter by extension

Filter by extension

Conversations
Failed to load comments.
Jump to
Jump to file
Failed to load files.
Diff view
Diff view
34 changes: 34 additions & 0 deletions data/changelog/dune/2024-03-13-dune.3.14.2.md
Original file line number Diff line number Diff line change
@@ -0,0 +1,34 @@
---
title: Dune 3.14.2
tags: [dune, platform]
changelog: |
### Fixed
- When a directory is changed to a file, correctly remove it in subsequent
`dune build` runs. (#9327, fix #6575, @emillon)

- Fix a problem with the doc-new target where transitive dependencies were
missed during compile. This leads to missing expansions in the output docs.
(#9955, @jonludlam)

- coq: fix performance regression in coqdep unescaping (#10115, fixes #10088,
@ejgallego, thanks to Dan Christensen for the report)

- coq: memoize coqdep parsing, this will reduce build times for Coq users, in
particular for those with many .v files (#10116, @ejgallego, see also #10088)

- on Windows, use an unicode-aware version of `CreateProcess` to avoid crashes
when paths contains non-ascii characters. (#10212, fixes #10180, @emillon)

- fix compilation on non-glibc systems due to `signal.h` not being pulled in
spawn stubs. (#10256, @emillon)
---
We're happy to announce that Dune 3.14.2 is now available.

Note that due to a regression that was detected before publishing to opam
version `3.14.1` should not be used. The fix for the regression is part of
this release.

This feature brings some small bugfixes around the handling of Coq as well as
solves an issue where Dune is running on Windows in a path that contains
Unicode characters. This affected e.g. users with diacritics or non-latin
script in their name when running Dune within their home directory.