diff --git a/dune-project b/dune-project index abe840a2..6d660768 100644 --- a/dune-project +++ b/dune-project @@ -20,7 +20,7 @@ (odoc :with-doc) (pbrt (>= 2.3))) (depopts - trace) + (trace (>= 0.1))) (tags (instrumentation tracing opentelemetry datadog jaeger))) diff --git a/opentelemetry.opam b/opentelemetry.opam index d9114960..f320f643 100644 --- a/opentelemetry.opam +++ b/opentelemetry.opam @@ -15,7 +15,9 @@ depends: [ "odoc" {with-doc} "pbrt" {>= "2.3"} ] -depopts: ["trace"] +depopts: [ + "trace" {>= "0.1"} +] build: [ ["dune" "subst"] {dev} [