Merge pull request ocaml#24161 from kit-ty-kate/fix-231

Fix older versions of domainslib
hannesm · Jul 26, 2023 · 810471f · 810471f
2 parents 5c56238 + 3c307ce
commit 810471f
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 0 deletions.
diff --git a/packages/domainslib/domainslib.0.3.0/opam b/packages/domainslib/domainslib.0.3.0/opam
@@ -9,6 +9,7 @@ dev-repo: "git+https://github.com/ocaml-multicore/domainslib.git"
 bug-reports: "https://github.com/ocaml-multicore/domainslib/issues"
 tags: ["org:ocamllabs"]
 depends: [
+  "ocaml" {< "5.0.0"}
   "dune" {>= "1.8"}
   "base-domains"
 ]

diff --git a/packages/domainslib/domainslib.0.3.1/opam b/packages/domainslib/domainslib.0.3.1/opam
@@ -9,6 +9,7 @@ dev-repo: "git+https://github.com/ocaml-multicore/domainslib.git"
 bug-reports: "https://github.com/ocaml-multicore/domainslib/issues"
 tags: ["org:ocamllabs"]
 depends: [
+  "ocaml" {< "5.0.0"}
   "dune" {>= "1.8"}
   "base-domains"
 ]

diff --git a/packages/domainslib/domainslib.0.4.0/opam b/packages/domainslib/domainslib.0.4.0/opam
@@ -13,6 +13,7 @@ depends: [
   "base-domains"
   "mirage-clock-unix" {with-test}
 ]
+available: false # Not compatible with 4.12.0+domains nor 5.0.0~alpha0 and newer. Was compatible only with trunk for a short period of time.
 build: ["dune" "build" "-p" name "-j" jobs]
 url {
   src: "https://github.com/ocaml-multicore/domainslib/archive/0.4.0.tar.gz"

diff --git a/packages/domainslib/domainslib.0.4.1/opam b/packages/domainslib/domainslib.0.4.1/opam
@@ -13,6 +13,7 @@ depends: [
   "dune" {>= "1.8"}
   "mirage-clock-unix" {with-test}
 ]
+available: false # Not compatible with 4.12.0+domains nor 5.0.0~alpha0 and newer. Was compatible only with trunk for a short period of time.
 build: ["dune" "build" "-p" name "-j" jobs]
 run-test: ["dune" "runtest" "-p" name "-j" jobs]
 url {