[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
Merged
kit-ty-kate merged 3 commits intoocaml:masterfrom Apr 18, 2022
Conversation
…ne-site, dune-rpc, dune-rpc-lwt, dune-private-libs, dune-glob, dune-configurator, dune-build-info and dune-action-plugin (3.1.0) CHANGES: - Add `sourcehut` as an option for defining project sources in dune-project files. For example, `(source (sourcehut user/repo))`. (ocaml/dune#5564, @rgrinberg) - Add `dune coq top` command for running a Coq toplevel (ocaml/dune#5457, @rlepigre) - Fix dune exec dumping database in wrong directory (ocaml/dune#5544, @bobot) - Always output absolute paths for locations in RPC reported diagnostics (ocaml/dune#5539, @rgrinberg) - Add `(deps <deps>)` in ctype field (ocaml/dune#5346, @bobot) - Add `(include <file>)` constructor to dependency specifications. This can be used to introduce dynamic dependencies (ocaml/dune#5442, @anmonteiro) - Ensure that `dune describe` computes a transitively closed set of libraries (ocaml/dune#5395, @esope) - Add direct dependencies to $ dune describe output (ocaml/dune#5412, @esope) - Show auto-detected concurrency on Windows too (ocaml/dune#5502, @MisterDA) - Fix operations that remove folders with absolute path. This happens when using esy (ocaml/dune#5507, @EduardoRFS) - Dune will not fail if some directories are non-empty when uninstalling. (ocaml/dune#5543, fixes ocaml/dune#5542, @nojb) - `coqdep` now depends only on the filesystem layout of the .v files, and not on their contents (ocaml/dune#5547, helps with ocaml/dune#5100, @ejgallego) - The mdx stanza 0.2 can now be used with `(implicit_transitive_deps false)` (ocaml/dune#5558, fixes ocaml/dune#5499, @emillon) - Fix missing parenthesis in printing of corresponding terminal command for `(with-outputs-to )` (ocaml/dune#5551, fixes ocaml/dune#5546, @Alizter)
Member
|
Member
Author
|
That's a bit of a shame. How about we just remove ocamlc_loc from the submitted packages. I'll fix it upstream and resubmit eventually. |
Member
|
Thanks. Sorry for the wait |
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
2 participants
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
sourcehutas 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 topcommand 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 describecomputes a transitively closed set oflibraries (Ensure that
dune describecomputes 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 describedune#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 cleanon 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)
coqdepnow 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)