From 921b5da1c79d8025a96f48be01d0199e6cb6a290 Mon Sep 17 00:00:00 2001 From: Simon Cruanes Date: Wed, 9 Aug 2023 12:55:24 -0400 Subject: [PATCH] depopt on trace requires 0.3 --- dune-project | 4 +++- opentelemetry.opam | 5 +++-- 2 files changed, 6 insertions(+), 3 deletions(-) diff --git a/dune-project b/dune-project index 6e948d02..d8297189 100644 --- a/dune-project +++ b/dune-project @@ -20,7 +20,9 @@ (odoc :with-doc) (pbrt (>= 2.3))) (depopts - (trace (>= 0.1))) + trace) + (conflicts + (trace (or (< 0.3) (>= 0.4)))) (tags (instrumentation tracing opentelemetry datadog jaeger))) diff --git a/opentelemetry.opam b/opentelemetry.opam index d7cd5e08..57a698c8 100644 --- a/opentelemetry.opam +++ b/opentelemetry.opam @@ -15,8 +15,9 @@ depends: [ "odoc" {with-doc} "pbrt" {>= "2.3"} ] -depopts: [ - "trace" {>= "0.1"} +depopts: ["trace"] +conflicts: [ + "trace" {< "0.3" | >= "0.4"} ] build: [ ["dune" "subst"] {dev}