[new release] dune (15 packages) (3.14.1)#25456
[new release] dune (15 packages) (3.14.1)#25456Leonidas-from-XIV wants to merge 1 commit intoocaml:masterfrom
Conversation
CHANGES: ### Fixed - When a directory is changed to a file, correctly remove it in subsequent `dune build` runs. (ocaml/dune#9327, fix ocaml/dune#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. (ocaml/dune#9955, @jonludlam) - coq: fix performance regression in coqdep unescaping (ocaml/dune#10115, fixes ocaml/dune#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 (ocaml/dune#10116, @ejgallego, see also ocaml/dune#10088) - on Windows, use an unicode-aware version of `CreateProcess` to avoid crashes when paths contains non-ascii characters. (ocaml/dune#10212, fixes ocaml/dune#10180, @emillon)
|
this release doesn't work on alpine, we'll push a fix in 3.14.2. we can leave CI run on this one, but I'm not sure what's best for 3.14.1 after. We can either not merge it, make it available: false or unavailable on alpine. I'll let the opam-repository maintainers decide. |
|
Switching it to draft in the meantime to signal it shouldn't be merged as-is. |
|
To add to @emillon's comment: I am pretty sure it doesn't work on any musl-based systems nor does it work on FreeBSD according to CI (for the same reason), so it is more dependent on the libc than the OS which makes it hard to exclude specific OSes. |
|
One regression here, the musl one. It's being fixed in an upcoming 3.14.2. |
|
#25474 created which comes with a fix for this regression. |
|
I think it is easier to just close this PR since 3.14.2 is already released and this would be unavailable anyway |
Fast, portable, and opinionated build system
CHANGES:
Fixed
When a directory is changed to a file, correctly remove it in subsequent
dune buildruns. (fix(engine): remove old target even if it is a dir dune#9327, fix Clean needed when turning a directory into a file dune#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.
(Fix odoc compile transitive lib dep dune#9955, @jonludlam)
coq: fix performance regression in coqdep unescaping (fix(coq): Fix performance regression in coqdep unescaping dune#10115, fixes [performance] Zero-build regression 3.11 - 3.14 dune#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 ([coq] Memoize coqdep parsing dune#10116, @ejgallego, see also [performance] Zero-build regression 3.11 - 3.14 dune#10088)
on Windows, use an unicode-aware version of
CreateProcessto avoid crasheswhen paths contains non-ascii characters. (fix(windows): use unicode version of CreateProcess dune#10212, fixes Windows: Error: CreateProcess(): No such file or directory when PATH contains unicode characters dune#10180, @emillon)