Dune 2.4.0
On behalf of the dune team, I'm pleased to announce the release of dune 2.4.0. This releases features support for mdx, an interesting take on the notebook paradigm by the RWO team. This release also includes a crucial fix to polling mode which makes it usable in environments with finite memory :slight_smile:.
Happy hacking!
See full changelog
-
Add
mdx
extension and stanza version 0.1 (#3094, @NathanReb) -
Allow to make Odoc warnings fatal. This is configured from the
(env ...)
stanza. (#3029, @Julow) -
Fix separate compilation of JS when findlib is not installed. (#3177, @nojb)
-
Add a
dune describe
command to obtain the topology of a dune workspace, for projects such as ROTOR. (#3128, @jeremiedimino) -
Add
plugin
linking mode for executables and the(embed_in_plugin_libraries ...)
field. (#3141, @nojb) -
Add an
%{ext_plugin}
variable (#3141, @nojb) -
Dune will no longer build shared objects for stubs if
supports_shared_libraries
is false (#3225, fixes #3222, @rgrinberg) -
Fix a memory leak in the file-watching mode (
dune build -w
) (#3220, @snowleopard and @aalekseyev)