Merge pull request ocaml#23191 from Leonidas-from-XIV/ocaml5-qcheck

Do not run qcheck tests on OCaml 5
hannesm · Feb 2, 2023 · d85efeb · d85efeb
2 parents 9b1af07 + db2d059
commit d85efeb
Show file tree

Hide file tree

Showing 12 changed files with 12 additions and 12 deletions.
diff --git a/packages/qcheck-alcotest/qcheck-alcotest.0.18.1/opam b/packages/qcheck-alcotest/qcheck-alcotest.0.18.1/opam
@@ -13,7 +13,7 @@ tags: [
 build: [
   ["dune" "build" "-p" name "-j" jobs]
   ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
-  ["dune" "runtest" "-p" name "-j" jobs] {with-test}
+  ["dune" "runtest" "-p" name "-j" jobs] {with-test & ocaml:version < "5.0.0"}
 ]
 depends: [
   "dune" { >= "2.2" }

diff --git a/packages/qcheck-alcotest/qcheck-alcotest.0.18/opam b/packages/qcheck-alcotest/qcheck-alcotest.0.18/opam
@@ -13,7 +13,7 @@ tags: [
 build: [
   ["dune" "build" "-p" name "-j" jobs]
   ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
-  ["dune" "runtest" "-p" name "-j" jobs] {with-test}
+  ["dune" "runtest" "-p" name "-j" jobs] {with-test & ocaml:version < "5.0.0"}
 ]
 depends: [
   "dune" { >= "2.2" }

diff --git a/packages/qcheck-alcotest/qcheck-alcotest.0.19/opam b/packages/qcheck-alcotest/qcheck-alcotest.0.19/opam
@@ -19,7 +19,7 @@ depends: [
 build: [
   ["dune" "build" "-p" name "-j" jobs]
   ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
-  ["dune" "runtest" "-p" name "-j" jobs] {with-test}
+  ["dune" "runtest" "-p" name "-j" jobs] {with-test & ocaml:version < "5.0.0"}
 ]
 dev-repo: "git+https://github.com/c-cube/qcheck.git"
 url {

diff --git a/packages/qcheck-core/qcheck-core.0.18.1/opam b/packages/qcheck-core/qcheck-core.0.18.1/opam
@@ -12,7 +12,7 @@ tags: [
 build: [
   ["dune" "build" "-p" name "-j" jobs]
   ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
-  ["dune" "runtest" "-p" name "-j" jobs] {with-test}
+  ["dune" "runtest" "-p" name "-j" jobs] {with-test & ocaml:version < "5.0.0"}
 ]
 depends: [
   "dune" { >= "2.2" }

diff --git a/packages/qcheck-core/qcheck-core.0.18/opam b/packages/qcheck-core/qcheck-core.0.18/opam
@@ -12,7 +12,7 @@ tags: [
 build: [
   ["dune" "build" "-p" name "-j" jobs]
   ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
-  ["dune" "runtest" "-p" name "-j" jobs] {with-test}
+  ["dune" "runtest" "-p" name "-j" jobs] {with-test & ocaml:version < "5.0.0"}
 ]
 depends: [
   "dune" { >= "2.2" }

diff --git a/packages/qcheck-core/qcheck-core.0.19/opam b/packages/qcheck-core/qcheck-core.0.19/opam
@@ -21,7 +21,7 @@ conflicts: [
 build: [
   ["dune" "build" "-p" name "-j" jobs]
   ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
-  ["dune" "runtest" "-p" name "-j" jobs] {with-test}
+  ["dune" "runtest" "-p" name "-j" jobs] {with-test & ocaml:version < "5.0.0"}
 ]
 dev-repo: "git+https://github.com/c-cube/qcheck.git"
 url {

diff --git a/packages/qcheck-ounit/qcheck-ounit.0.18.1/opam b/packages/qcheck-ounit/qcheck-ounit.0.18.1/opam
@@ -12,7 +12,7 @@ tags: [
 build: [
   ["dune" "build" "-p" name "-j" jobs]
   ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
-  ["dune" "runtest" "-p" name "-j" jobs] {with-test}
+  ["dune" "runtest" "-p" name "-j" jobs] {with-test & ocaml:version < "5.0.0"}
 ]
 depends: [
   "dune" { >= "2.2" }

diff --git a/packages/qcheck-ounit/qcheck-ounit.0.18/opam b/packages/qcheck-ounit/qcheck-ounit.0.18/opam
@@ -12,7 +12,7 @@ tags: [
 build: [
   ["dune" "build" "-p" name "-j" jobs]
   ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
-  ["dune" "runtest" "-p" name "-j" jobs] {with-test}
+  ["dune" "runtest" "-p" name "-j" jobs] {with-test & ocaml:version < "5.0.0"}
 ]
 depends: [
   "dune" { >= "2.2" }

diff --git a/packages/qcheck-ounit/qcheck-ounit.0.19/opam b/packages/qcheck-ounit/qcheck-ounit.0.19/opam
@@ -19,7 +19,7 @@ depends: [
 build: [
   ["dune" "build" "-p" name "-j" jobs]
   ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
-  ["dune" "runtest" "-p" name "-j" jobs] {with-test}
+  ["dune" "runtest" "-p" name "-j" jobs] {with-test & ocaml:version < "5.0.0"}
 ]
 dev-repo: "git+https://github.com/c-cube/qcheck.git"
 url {

diff --git a/packages/qcheck/qcheck.0.18.1/opam b/packages/qcheck/qcheck.0.18.1/opam
@@ -12,7 +12,7 @@ tags: [
 build: [
   ["dune" "build" "-p" name "-j" jobs]
   ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
-  ["dune" "runtest" "-p" name "-j" jobs] {with-test}
+  ["dune" "runtest" "-p" name "-j" jobs] {with-test & ocaml:version < "5.0.0"}
 ]
 depends: [
   "dune" { >= "2.2" }

diff --git a/packages/qcheck/qcheck.0.18/opam b/packages/qcheck/qcheck.0.18/opam
@@ -12,7 +12,7 @@ tags: [
 build: [
   ["dune" "build" "-p" name "-j" jobs]
   ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
-  ["dune" "runtest" "-p" name "-j" jobs] {with-test}
+  ["dune" "runtest" "-p" name "-j" jobs] {with-test & ocaml:version < "5.0.0"}
 ]
 depends: [
   "dune" { >= "2.2" }

diff --git a/packages/qcheck/qcheck.0.19/opam b/packages/qcheck/qcheck.0.19/opam
@@ -23,7 +23,7 @@ conflicts: [
 build: [
   ["dune" "build" "-p" name "-j" jobs]
   ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
-  ["dune" "runtest" "-p" name "-j" jobs] {with-test}
+  ["dune" "runtest" "-p" name "-j" jobs] {with-test & ocaml:version < "5.0.0"}
 ]
 dev-repo: "git+https://github.com/c-cube/qcheck.git"
 url {