Dear all, on behalf of the Dune team I’m pleased to announce the release of Dune 2.9.0. This is the last release on the Dune 2.x series and could be considered a maintenance release as it mostly consists on bug fixes and miscellaneous tweaks and features for sites,
instrumentation, and mdx support.
Please find the full list of changes below:
-
Add
(enabled_if ...)
to(mdx ...)
(https://github.com/ocaml/dune/pull/4434, @emillon) -
Add support for instrumentation dependencies (https://github.com/ocaml/dune/pull/4210, fixes https://github.com/ocaml/dune/issues/3983, @nojb)
-
Add the possibility to use
locks
with the cram tests stanza (https://github.com/ocaml/dune/pull/4480, @voodoos) -
Allow to set up merlin in a variant of the default context
(https://github.com/ocaml/dune/pull/4145, @TheLortex, @voodoos) -
Add
(package ...)
to(mdx ...)
(https://github.com/ocaml/dune/pull/4691, fixes https://github.com/ocaml/dune/issues/3756, @emillon) -
Handle renaming of
coq.kernel
library tocoq-core.kernel
in Coq 8.14 (https://github.com/ocaml/dune/pull/4713, @proux01) -
Fix generation of merlin configuration when using
(include_subdirs unqualified)
on Windows (https://github.com/ocaml/dune/pull/4745, @nojb) -
Fix bug for the install of Coq native files when using
(include_subdirs qualified)
(https://github.com/ocaml/dune/pull/4753, @ejgallego) -
Allow users to specify install target directories for
doc
and
etc
sections. We add new options--docdir
and--etcdir
to both
Dune’s configure anddune install
command. (https://github.com/ocaml/dune/pull/4744, fixes https://github.com/ocaml/dune/issues/4723,
@ejgallego, thanks to @JasonGross for reporting this issue) -
Fix issue where Dune would ignore
(env ... (coq (flags ...)))
declarations appearing indune
files (https://github.com/ocaml/dune/pull/4749, fixes https://github.com/ocaml/dune/issues/4566, @ejgallego @rgrinberg) -
Disable some warnings on Coq 8.14 and
(lang coq (>= 0.3))
due to
the rework of the Coq “native” compilation system (https://github.com/ocaml/dune/pull/4760, @ejgallego) -
Fix a bug where instrumentation flags would be added even if the
instrumentatation was disabled (@nojb, https://github.com/ocaml/dune/pull/4770) -
Fix https://github.com/ocaml/dune/issues/4682: option
-p
takes now precedence on environement variable
DUNE_PROFILE
(https://github.com/ocaml/dune/pull/4730, https://github.com/ocaml/dune/pull/4774, @bobot, reported by @dra27 https://github.com/ocaml/dune/issues/4632) -
Fix installation with opam of package with dune sites. The
.install
file is
now produced by a localdune install
during the build phase (https://github.com/ocaml/dune/pull/4730, https://github.com/ocaml/dune/pull/4645,
@bobot, reported by @kit-ty-kate https://github.com/ocaml/dune/issues/4198) -
Fix multiple issues in the sites feature (https://github.com/ocaml/dune/pull/4730, https://github.com/ocaml/dune/pull/4645 @bobot, reported by @Lelio-Brun
https://github.com/ocaml/dune/issues/4219, by @Kakadu https://github.com/ocaml/dune/issues/4325, by @toots https://github.com/ocaml/dune/issues/4415)