depopt on trace requires 0.3

This commit is contained in:
Simon Cruanes 2023-08-09 12:55:24 -04:00
parent 927d1e3e64
commit 30c36bb85a
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
2 changed files with 6 additions and 3 deletions

View file

@ -20,7 +20,9 @@
(odoc :with-doc) (odoc :with-doc)
(pbrt (>= 2.3))) (pbrt (>= 2.3)))
(depopts (depopts
(trace (>= 0.1))) trace)
(conflicts
(trace (or (< 0.3) (>= 0.4))))
(tags (tags
(instrumentation tracing opentelemetry datadog jaeger))) (instrumentation tracing opentelemetry datadog jaeger)))

View file

@ -15,8 +15,9 @@ depends: [
"odoc" {with-doc} "odoc" {with-doc}
"pbrt" {>= "2.3"} "pbrt" {>= "2.3"}
] ]
depopts: [ depopts: ["trace"]
"trace" {>= "0.1"} conflicts: [
"trace" {< "0.3" | >= "0.4"}
] ]
build: [ build: [
["dune" "subst"] {dev} ["dune" "subst"] {dev}