[new release] xdg, stdune, ordering, ocamlc-loc, fiber, dyn, dune, dune-site, dune-rpc, dune-rpc-lwt, dune-private-libs, dune-glob, dune-configurator, dune-build-info and dune-action-plugin (3.1.0) #21217
Add this suggestion to a batch that can be applied as a single commit.
This suggestion is invalid because no changes were made to the code.
Suggestions cannot be applied while the pull request is closed.
Suggestions cannot be applied while viewing a subset of changes.
Only one suggestion per line can be applied in a batch.
Add this suggestion to a batch that can be applied as a single commit.
Applying suggestions on deleted lines is not supported.
You must change the existing code in this line in order to create a valid suggestion.
Outdated suggestions cannot be applied.
This suggestion has been applied or marked resolved.
Suggestions cannot be applied from pending reviews.
Suggestions cannot be applied on multi-line comments.
Suggestions cannot be applied while the pull request is queued to merge.
Suggestion cannot be applied right now. Please check back later.
XDG Base Directory Specification
CHANGES:
Add
sourcehut
as an option for defining project sources in dune-projectfiles. For example,
(source (sourcehut user/repo))
. (feature: add sourcehut "forge" type dune#5564, @rgrinberg)Add
dune coq top
command for running a Coq toplevel (Adding support for a "dune coq top" command dune#5457, @rlepigre)Fix dune exec dumping database in wrong directory (Fix dune exec dump in wrong directory dune#5544, @bobot)
Always output absolute paths for locations in RPC reported diagnostics
(Fix diagnostics locations reported by RPC dune#5539, @rgrinberg)
Add
(deps <deps>)
in ctype field (Ctypes: adds a stop-gap measure deps fields dune#5346, @bobot)Add
(include <file>)
constructor to dependency specifications. This can beused to introduce dynamic dependencies (Add support for dynamic dependencies via
(include ..)
in(deps)
dune#5442, @anmonteiro)Ensure that
dune describe
computes a transitively closed set oflibraries (Ensure that
dune describe
computes a transitively closed set of libraries dune#5395, @esope)Add direct dependencies to $ dune describe output (Added the direct dependencies between modules to the output of
dune describe
dune#5412, @esope)Show auto-detected concurrency on Windows too (Show auto-detected concurrency on Windows too dune#5502, @MisterDA)
Fix operations that remove folders with absolute path. This happens when
using esy (fix
dune clean
on esy dune#5507, @EduardoRFS)Dune will not fail if some directories are non-empty when uninstalling.
(uninstall: do not fail if directories are non-empty dune#5543, fixes Dune errors when trying to remove non-empty man directory dune#5542, @nojb)
coqdep
now depends only on the filesystem layout of the .v files,and not on their contents ([coq] Ignore contents in coqdep rule dune#5547, helps with coqdep -modules dune#5100, @ejgallego)
The mdx stanza 0.2 can now be used with
(implicit_transitive_deps false)
(Fix mdx stanza with implicit_transitive_deps false dune#5558, fixes MDX stanza executable fails to build with
(implicit_transitive_deps false)
dune#5499, @emillon)Fix missing parenthesis in printing of corresponding terminal command for
(with-outputs-to )
(Fix dropped suffix in command line printing dune#5551, fixes dune build --always-show-command-line and --verbose has wrong output dune#5546, @Alizter)