move to dune 3.11, remove dune-build-info

This commit is contained in:
Simon Cruanes 2026-03-13 13:17:51 -04:00
parent 2c52df1fae
commit 748f2352e4
No known key found for this signature in database
GPG key ID: EBFFF6F283F3A2B4
12 changed files with 12 additions and 36 deletions

View file

@ -1,4 +1,4 @@
(lang dune 2.9) (lang dune 3.11)
(name opentelemetry) (name opentelemetry)
@ -49,8 +49,7 @@
(>= 0.27) (>= 0.27)
(< 0.28))) (< 0.28)))
(mtime (mtime
(>= "1.4")) (>= "1.4")))
dune-build-info)
(depopts atomic trace thread-local-storage lwt eio picos) (depopts atomic trace thread-local-storage lwt eio picos)
(conflicts (conflicts
(trace (trace

View file

@ -12,7 +12,7 @@ license: "MIT"
homepage: "https://github.com/imandra-ai/ocaml-opentelemetry" homepage: "https://github.com/imandra-ai/ocaml-opentelemetry"
bug-reports: "https://github.com/imandra-ai/ocaml-opentelemetry/issues" bug-reports: "https://github.com/imandra-ai/ocaml-opentelemetry/issues"
depends: [ depends: [
"dune" {>= "2.9"} "dune" {>= "3.11"}
"ocaml" {>= "5.00"} "ocaml" {>= "5.00"}
"mtime" {>= "1.4"} "mtime" {>= "1.4"}
"ca-certs" "ca-certs"
@ -37,11 +37,9 @@ build: [
name name
"-j" "-j"
jobs jobs
"--promote-install-files=false"
"@install" "@install"
"@runtest" {with-test} "@runtest" {with-test}
"@doc" {with-doc} "@doc" {with-doc}
] ]
["dune" "install" "-p" name "--create-install-files" name]
] ]
dev-repo: "git+https://github.com/imandra-ai/ocaml-opentelemetry.git" dev-repo: "git+https://github.com/imandra-ai/ocaml-opentelemetry.git"

View file

@ -12,7 +12,7 @@ license: "MIT"
homepage: "https://github.com/imandra-ai/ocaml-opentelemetry" homepage: "https://github.com/imandra-ai/ocaml-opentelemetry"
bug-reports: "https://github.com/imandra-ai/ocaml-opentelemetry/issues" bug-reports: "https://github.com/imandra-ai/ocaml-opentelemetry/issues"
depends: [ depends: [
"dune" {>= "2.9"} "dune" {>= "3.11"}
"ocaml" {>= "4.08"} "ocaml" {>= "4.08"}
"mtime" {>= "1.4"} "mtime" {>= "1.4"}
"opentelemetry" {= version} "opentelemetry" {= version}
@ -37,11 +37,9 @@ build: [
name name
"-j" "-j"
jobs jobs
"--promote-install-files=false"
"@install" "@install"
"@runtest" {with-test} "@runtest" {with-test}
"@doc" {with-doc} "@doc" {with-doc}
] ]
["dune" "install" "-p" name "--create-install-files" name]
] ]
dev-repo: "git+https://github.com/imandra-ai/ocaml-opentelemetry.git" dev-repo: "git+https://github.com/imandra-ai/ocaml-opentelemetry.git"

View file

@ -12,7 +12,7 @@ license: "MIT"
homepage: "https://github.com/imandra-ai/ocaml-opentelemetry" homepage: "https://github.com/imandra-ai/ocaml-opentelemetry"
bug-reports: "https://github.com/imandra-ai/ocaml-opentelemetry/issues" bug-reports: "https://github.com/imandra-ai/ocaml-opentelemetry/issues"
depends: [ depends: [
"dune" {>= "2.9"} "dune" {>= "3.11"}
"ocaml" {>= "4.08"} "ocaml" {>= "4.08"}
"mtime" {>= "1.4"} "mtime" {>= "1.4"}
"opentelemetry" {= version} "opentelemetry" {= version}
@ -33,11 +33,9 @@ build: [
name name
"-j" "-j"
jobs jobs
"--promote-install-files=false"
"@install" "@install"
"@runtest" {with-test} "@runtest" {with-test}
"@doc" {with-doc} "@doc" {with-doc}
] ]
["dune" "install" "-p" name "--create-install-files" name]
] ]
dev-repo: "git+https://github.com/imandra-ai/ocaml-opentelemetry.git" dev-repo: "git+https://github.com/imandra-ai/ocaml-opentelemetry.git"

View file

@ -12,7 +12,7 @@ license: "MIT"
homepage: "https://github.com/imandra-ai/ocaml-opentelemetry" homepage: "https://github.com/imandra-ai/ocaml-opentelemetry"
bug-reports: "https://github.com/imandra-ai/ocaml-opentelemetry/issues" bug-reports: "https://github.com/imandra-ai/ocaml-opentelemetry/issues"
depends: [ depends: [
"dune" {>= "2.9"} "dune" {>= "3.11"}
"ocaml" {>= "4.08"} "ocaml" {>= "4.08"}
"mtime" {>= "1.4"} "mtime" {>= "1.4"}
"opentelemetry" {= version} "opentelemetry" {= version}
@ -31,11 +31,9 @@ build: [
name name
"-j" "-j"
jobs jobs
"--promote-install-files=false"
"@install" "@install"
"@runtest" {with-test} "@runtest" {with-test}
"@doc" {with-doc} "@doc" {with-doc}
] ]
["dune" "install" "-p" name "--create-install-files" name]
] ]
dev-repo: "git+https://github.com/imandra-ai/ocaml-opentelemetry.git" dev-repo: "git+https://github.com/imandra-ai/ocaml-opentelemetry.git"

View file

@ -13,7 +13,7 @@ tags: ["tracing" "opentelemetry" "sdk"]
homepage: "https://github.com/imandra-ai/ocaml-opentelemetry" homepage: "https://github.com/imandra-ai/ocaml-opentelemetry"
bug-reports: "https://github.com/imandra-ai/ocaml-opentelemetry/issues" bug-reports: "https://github.com/imandra-ai/ocaml-opentelemetry/issues"
depends: [ depends: [
"dune" {>= "2.9"} "dune" {>= "3.11"}
"opentelemetry" {= version} "opentelemetry" {= version}
"odoc" {with-doc} "odoc" {with-doc}
"alcotest" {with-test} "alcotest" {with-test}
@ -28,11 +28,9 @@ build: [
name name
"-j" "-j"
jobs jobs
"--promote-install-files=false"
"@install" "@install"
"@runtest" {with-test} "@runtest" {with-test}
"@doc" {with-doc} "@doc" {with-doc}
] ]
["dune" "install" "-p" name "--create-install-files" name]
] ]
dev-repo: "git+https://github.com/imandra-ai/ocaml-opentelemetry.git" dev-repo: "git+https://github.com/imandra-ai/ocaml-opentelemetry.git"

View file

@ -12,7 +12,7 @@ license: "MIT"
homepage: "https://github.com/imandra-ai/ocaml-opentelemetry" homepage: "https://github.com/imandra-ai/ocaml-opentelemetry"
bug-reports: "https://github.com/imandra-ai/ocaml-opentelemetry/issues" bug-reports: "https://github.com/imandra-ai/ocaml-opentelemetry/issues"
depends: [ depends: [
"dune" {>= "2.9"} "dune" {>= "3.11"}
"ocaml" {>= "4.08"} "ocaml" {>= "4.08"}
"opentelemetry" {= version} "opentelemetry" {= version}
"opentelemetry-lwt" {= version} "opentelemetry-lwt" {= version}
@ -32,11 +32,9 @@ build: [
name name
"-j" "-j"
jobs jobs
"--promote-install-files=false"
"@install" "@install"
"@runtest" {with-test} "@runtest" {with-test}
"@doc" {with-doc} "@doc" {with-doc}
] ]
["dune" "install" "-p" name "--create-install-files" name]
] ]
dev-repo: "git+https://github.com/imandra-ai/ocaml-opentelemetry.git" dev-repo: "git+https://github.com/imandra-ai/ocaml-opentelemetry.git"

View file

@ -12,7 +12,7 @@ license: "MIT"
homepage: "https://github.com/imandra-ai/ocaml-opentelemetry" homepage: "https://github.com/imandra-ai/ocaml-opentelemetry"
bug-reports: "https://github.com/imandra-ai/ocaml-opentelemetry/issues" bug-reports: "https://github.com/imandra-ai/ocaml-opentelemetry/issues"
depends: [ depends: [
"dune" {>= "2.9"} "dune" {>= "3.11"}
"ocaml" {>= "4.08"} "ocaml" {>= "4.08"}
"opentelemetry" {= version} "opentelemetry" {= version}
"odoc" {with-doc} "odoc" {with-doc}
@ -32,11 +32,9 @@ build: [
name name
"-j" "-j"
jobs jobs
"--promote-install-files=false"
"@install" "@install"
"@runtest" {with-test} "@runtest" {with-test}
"@doc" {with-doc} "@doc" {with-doc}
] ]
["dune" "install" "-p" name "--create-install-files" name]
] ]
dev-repo: "git+https://github.com/imandra-ai/ocaml-opentelemetry.git" dev-repo: "git+https://github.com/imandra-ai/ocaml-opentelemetry.git"

View file

@ -13,7 +13,7 @@ tags: ["instrumentation" "tracing" "opentelemetry" "datadog" "lwt"]
homepage: "https://github.com/imandra-ai/ocaml-opentelemetry" homepage: "https://github.com/imandra-ai/ocaml-opentelemetry"
bug-reports: "https://github.com/imandra-ai/ocaml-opentelemetry/issues" bug-reports: "https://github.com/imandra-ai/ocaml-opentelemetry/issues"
depends: [ depends: [
"dune" {>= "2.9"} "dune" {>= "3.11"}
"ocaml" {>= "4.08"} "ocaml" {>= "4.08"}
"opentelemetry" {= version} "opentelemetry" {= version}
"ambient-context-lwt" "ambient-context-lwt"
@ -32,11 +32,9 @@ build: [
name name
"-j" "-j"
jobs jobs
"--promote-install-files=false"
"@install" "@install"
"@runtest" {with-test} "@runtest" {with-test}
"@doc" {with-doc} "@doc" {with-doc}
] ]
["dune" "install" "-p" name "--create-install-files" name]
] ]
dev-repo: "git+https://github.com/imandra-ai/ocaml-opentelemetry.git" dev-repo: "git+https://github.com/imandra-ai/ocaml-opentelemetry.git"

View file

@ -14,7 +14,7 @@ tags: ["instrumentation" "tracing" "opentelemetry" "datadog" "jaeger"]
homepage: "https://github.com/imandra-ai/ocaml-opentelemetry" homepage: "https://github.com/imandra-ai/ocaml-opentelemetry"
bug-reports: "https://github.com/imandra-ai/ocaml-opentelemetry/issues" bug-reports: "https://github.com/imandra-ai/ocaml-opentelemetry/issues"
depends: [ depends: [
"dune" {>= "2.9"} "dune" {>= "3.11"}
"ocaml" {>= "4.08"} "ocaml" {>= "4.08"}
"ptime" "ptime"
"hmap" "hmap"
@ -26,7 +26,6 @@ depends: [
"ocaml-lsp-server" {with-dev-setup} "ocaml-lsp-server" {with-dev-setup}
"ocamlformat" {with-dev-setup & >= "0.27" & < "0.28"} "ocamlformat" {with-dev-setup & >= "0.27" & < "0.28"}
"mtime" {>= "1.4"} "mtime" {>= "1.4"}
"dune-build-info"
] ]
depopts: ["atomic" "trace" "thread-local-storage" "lwt" "eio" "picos"] depopts: ["atomic" "trace" "thread-local-storage" "lwt" "eio" "picos"]
conflicts: [ conflicts: [
@ -41,11 +40,9 @@ build: [
name name
"-j" "-j"
jobs jobs
"--promote-install-files=false"
"@install" "@install"
"@runtest" {with-test} "@runtest" {with-test}
"@doc" {with-doc} "@doc" {with-doc}
] ]
["dune" "install" "-p" name "--create-install-files" name]
] ]
dev-repo: "git+https://github.com/imandra-ai/ocaml-opentelemetry.git" dev-repo: "git+https://github.com/imandra-ai/ocaml-opentelemetry.git"

View file

@ -21,7 +21,6 @@
(re_export opentelemetry.ambient-context) (re_export opentelemetry.ambient-context)
(re_export opentelemetry.atomic) (re_export opentelemetry.atomic)
(re_export hmap) (re_export hmap)
(re_export dune-build-info)
mtime mtime
mtime.clock.os mtime.clock.os
pbrt pbrt

View file

@ -1,4 +1 @@
let version = let version = "%%VERSION%%"
match Build_info.V1.version () with
| None -> "dev"
| Some v -> Build_info.V1.Version.to_string v