Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

[new release] opam-dune-lint (0.3) #24635

Merged
merged 1 commit into from
Oct 18, 2023

Conversation

moyodiallo
Copy link
Contributor

Ensure dune and opam dependencies are consistent

CHANGES:

CHANGES:

- Add support for dune 3.0 , the command `dune external-lib-deps` was removed from
  dune. Now, the `opam-dune-lint` command works without `dune build`. (@moyodiallo ocurrent/opam-dune-lint#46).
synopsis: "Ensure dune and opam dependencies are consistent"
description:
"opam-dune-lint checks that all ocamlfind libraries listed as dune dependencies have corresponding opam dependencies listed in the opam files. If not, it offers to add them (either to your opam files, or to your dune-project if you're generating your opam files from that)."
maintainer: ["[email protected]" "Tim McGilchrist <[email protected]>"]
Copy link
Member

@haochenx haochenx Oct 18, 2023

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

It seems that the list of maintainers is modified. Just want to point this out and make sure it is intentional (I assume it is).

< maintainer: ["[email protected]"]
---
> maintainer: ["[email protected]" "Tim McGilchrist <[email protected]>"]

Copy link
Contributor Author

Choose a reason for hiding this comment

The reason will be displayed to describe this comment to others. Learn more.

Yes it is.

cc: @tmcgilchrist

@mseri mseri merged commit 71a4af8 into ocaml:master Oct 18, 2023
@mseri
Copy link
Member

mseri commented Oct 18, 2023

Thanks

@moyodiallo moyodiallo deleted the release-opam-dune-lint-v0.3 branch October 18, 2023 13:24
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

Successfully merging this pull request may close these issues.

4 participants