Skip to content

Commit 76d8ea9

Browse files
committed
libsail, yocaml: add some upper bounds to ocaml 5.3
related to the use of the effect keyword. For the latest libsail we use a specific build-env flag for ocamlfind to keep compatibility since there is not a new release. Seen on #27253 Signed-off-by: Marcello Seri <[email protected]>
1 parent 95944ff commit 76d8ea9

File tree

5 files changed

+6
-1
lines changed
  • packages
    • libsail
    • yocaml_yaml/yocaml_yaml.1.0.0

5 files changed

+6
-1
lines changed

packages/libsail/libsail.0.15/opam

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -28,6 +28,7 @@ license: "BSD-2-Clause"
2828
homepage: "https://github.com/rems-project/sail"
2929
bug-reports: "https://github.com/rems-project/sail/issues"
3030
depends: [
31+
"ocaml" {< "5.3"}
3132
"dune" {>= "3.0"}
3233
"dune-site" {>= "3.0.2"}
3334
"menhir" {build & >= "20180523"}

packages/libsail/libsail.0.16/opam

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -28,6 +28,7 @@ license: "BSD-2-Clause"
2828
homepage: "https://github.com/rems-project/sail"
2929
bug-reports: "https://github.com/rems-project/sail/issues"
3030
depends: [
31+
"ocaml" {< "5.3"}
3132
"dune" {>= "3.0"}
3233
"dune-site" {>= "3.0.2"}
3334
"bisect_ppx" {dev & >= "2.5.0"}

packages/libsail/libsail.0.17.1/opam

Lines changed: 1 addition & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -28,6 +28,7 @@ license: "BSD-2-Clause"
2828
homepage: "https://github.com/rems-project/sail"
2929
bug-reports: "https://github.com/rems-project/sail/issues"
3030
depends: [
31+
"ocaml" {< "5.3"}
3132
"dune" {>= "3.0"}
3233
"dune-site" {>= "3.0.2"}
3334
"bisect_ppx" {dev & >= "2.5.0"}

packages/libsail/libsail.0.18/opam

Lines changed: 2 additions & 0 deletions
Original file line numberDiff line numberDiff line change
@@ -28,6 +28,7 @@ license: "BSD-2-Clause"
2828
homepage: "https://github.com/rems-project/sail"
2929
bug-reports: "https://github.com/rems-project/sail/issues"
3030
depends: [
31+
"ocaml"
3132
"dune" {>= "3.0"}
3233
"dune-site" {>= "3.0.2"}
3334
"bisect_ppx" {dev & >= "2.5.0"}
@@ -41,6 +42,7 @@ depends: [
4142
"pprint" {>= "20220103"}
4243
"odoc" {with-doc}
4344
]
45+
build-env: OCAMLPARAM = "_,w=-46,keywords=5.2" # uses the effect keyword
4446
build: [
4547
["dune" "subst"] {dev}
4648
[

packages/yocaml_yaml/yocaml_yaml.1.0.0/opam

Lines changed: 1 addition & 1 deletion
Original file line numberDiff line numberDiff line change
@@ -20,7 +20,7 @@ dev-repo: "git+https://github.com/xhtmlboi/yocaml.git"
2020
bug-reports: "https://github.com/xhtmlboi/yocaml/issues"
2121

2222
depends: [
23-
"ocaml" { >= "4.11.1" }
23+
"ocaml" { >= "4.11.1" & < "5.3"}
2424
"dune" { >= "2.8" }
2525
"odoc" {with-doc}
2626
"preface" { >= "1.0.0" }

0 commit comments

Comments
 (0)