[ANN] Dune 2.4.0

@rgrinberg wrote:

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 .

Happy hacking!

2.4.0 (06/03/2020)

• 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, @diml)

• 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)

Posts: 1

Participants: 1

Read full topic