This commit is contained in:
Simon Cruanes 2023-06-12 10:07:43 -04:00
parent 1ff96737db
commit 9b2d6fb1e0
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
2 changed files with 4 additions and 2 deletions

View file

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

View file

@ -15,7 +15,9 @@ depends: [
"odoc" {with-doc} "odoc" {with-doc}
"pbrt" {>= "2.3"} "pbrt" {>= "2.3"}
] ]
depopts: ["trace"] depopts: [
"trace" {>= "0.1"}
]
build: [ build: [
["dune" "subst"] {dev} ["dune" "subst"] {dev}
[ [