Merge pull request #27374 from mseri/ocamlfind

libsail, yocaml: add some upper bounds to ocaml 5.3
ocaml · Feb 5, 2025 · 9302d8b · 9302d8b
2 parents 95944ff + 76d8ea9
commit 9302d8b
Show file tree

Hide file tree

Showing 5 changed files with 6 additions and 1 deletion.
diff --git a/packages/libsail/libsail.0.15/opam b/packages/libsail/libsail.0.15/opam
@@ -28,6 +28,7 @@ license: "BSD-2-Clause"
 homepage: "https://github.com/rems-project/sail"
 bug-reports: "https://github.com/rems-project/sail/issues"
 depends: [
+  "ocaml" {< "5.3"}
   "dune" {>= "3.0"}
   "dune-site" {>= "3.0.2"}
   "menhir" {build & >= "20180523"}

diff --git a/packages/libsail/libsail.0.16/opam b/packages/libsail/libsail.0.16/opam
@@ -28,6 +28,7 @@ license: "BSD-2-Clause"
 homepage: "https://github.com/rems-project/sail"
 bug-reports: "https://github.com/rems-project/sail/issues"
 depends: [
+  "ocaml" {< "5.3"}
   "dune" {>= "3.0"}
   "dune-site" {>= "3.0.2"}
   "bisect_ppx" {dev & >= "2.5.0"}

diff --git a/packages/libsail/libsail.0.17.1/opam b/packages/libsail/libsail.0.17.1/opam
@@ -28,6 +28,7 @@ license: "BSD-2-Clause"
 homepage: "https://github.com/rems-project/sail"
 bug-reports: "https://github.com/rems-project/sail/issues"
 depends: [
+  "ocaml" {< "5.3"}
   "dune" {>= "3.0"}
   "dune-site" {>= "3.0.2"}
   "bisect_ppx" {dev & >= "2.5.0"}

diff --git a/packages/libsail/libsail.0.18/opam b/packages/libsail/libsail.0.18/opam
@@ -28,6 +28,7 @@ license: "BSD-2-Clause"
 homepage: "https://github.com/rems-project/sail"
 bug-reports: "https://github.com/rems-project/sail/issues"
 depends: [
+  "ocaml"
   "dune" {>= "3.0"}
   "dune-site" {>= "3.0.2"}
   "bisect_ppx" {dev & >= "2.5.0"}
@@ -41,6 +42,7 @@ depends: [
   "pprint" {>= "20220103"}
   "odoc" {with-doc}
 ]
+build-env: OCAMLPARAM = "_,w=-46,keywords=5.2" # uses the effect keyword
 build: [
   ["dune" "subst"] {dev}
   [

diff --git a/packages/yocaml_yaml/yocaml_yaml.1.0.0/opam b/packages/yocaml_yaml/yocaml_yaml.1.0.0/opam
@@ -20,7 +20,7 @@ dev-repo: "git+https://github.com/xhtmlboi/yocaml.git"
 bug-reports: "https://github.com/xhtmlboi/yocaml/issues"
 
 depends: [
-  "ocaml" { >= "4.11.1" }
+  "ocaml" { >= "4.11.1" & < "5.3"}
   "dune" { >= "2.8" }
   "odoc" {with-doc}
   "preface" { >= "1.0.0" }