Skip to content

Commit

Permalink
Do not mark Dune as a build dependency
Browse files Browse the repository at this point in the history
I don't exactly know why, but if we have it the linter of the OPAM repository gets upset with us with:

> Warning in `morbig.0.10.4`: The package tagged dune as a build dependency. Due to a bug in dune (ocaml/dune#2147) this should never be the case. Please remove the `{build}` tag from its filter.
  • Loading branch information
Niols committed Apr 1, 2023
1 parent 4406178 commit 910716d
Show file tree
Hide file tree
Showing 2 changed files with 2 additions and 2 deletions.
2 changes: 1 addition & 1 deletion dune-project
Original file line number Diff line number Diff line change
Expand Up @@ -23,7 +23,7 @@
)
(depends
(dune (and :build (>= "1.4.0")))
(dune (>= "1.4.0"))
(menhir (>= "20170509"))
(ocaml (>= "4.04"))
(odoc :with-doc)
Expand Down
2 changes: 1 addition & 1 deletion morbig.opam
Original file line number Diff line number Diff line change
Expand Up @@ -19,7 +19,7 @@ license: "GPL3-only"
homepage: "https://github.com/colis-anr/morbig"
bug-reports: "https://github.com/colis-anr/morbig/issues"
depends: [
"dune" {build & >= "1.4.0"}
"dune" {>= "1.4.0"}
"menhir" {>= "20170509"}
"ocaml" {>= "4.04"}
"odoc" {with-doc}
Expand Down

0 comments on commit 910716d

Please sign in to comment.