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

dinosaure · web-flow · commit d85efebe5340 · 2023-02-02T12:35:19.000+01:00
Do not run qcheck tests on OCaml 5
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 {

Original file line number	Diff line number	Diff line change
`@@ -13,7 +13,7 @@ tags: [`
`13`	`13`	`build: [`
`14`	`14`	`["dune" "build" "-p" name "-j" jobs]`
`15`	`15`	`["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}`
`16`		`- ["dune" "runtest" "-p" name "-j" jobs] {with-test}`
	`16`	`+ ["dune" "runtest" "-p" name "-j" jobs] {with-test & ocaml:version < "5.0.0"}`
`17`	`17`	`]`
`18`	`18`	`depends: [`
`19`	`19`	`"dune" { >= "2.2" }`
Original file line number	Diff line number	Diff line change
`@@ -19,7 +19,7 @@ depends: [`
`19`	`19`	`build: [`
`20`	`20`	`["dune" "build" "-p" name "-j" jobs]`
`21`	`21`	`["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}`
`22`		`- ["dune" "runtest" "-p" name "-j" jobs] {with-test}`
	`22`	`+ ["dune" "runtest" "-p" name "-j" jobs] {with-test & ocaml:version < "5.0.0"}`
`23`	`23`	`]`
`24`	`24`	`dev-repo: "git+https://github.com/c-cube/qcheck.git"`
`25`	`25`	`url {`
Original file line number	Diff line number	Diff line change
`@@ -12,7 +12,7 @@ tags: [`
`12`	`12`	`build: [`
`13`	`13`	`["dune" "build" "-p" name "-j" jobs]`
`14`	`14`	`["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}`
`15`		`- ["dune" "runtest" "-p" name "-j" jobs] {with-test}`
	`15`	`+ ["dune" "runtest" "-p" name "-j" jobs] {with-test & ocaml:version < "5.0.0"}`
`16`	`16`	`]`
`17`	`17`	`depends: [`
`18`	`18`	`"dune" { >= "2.2" }`
Original file line number	Diff line number	Diff line change
`@@ -21,7 +21,7 @@ conflicts: [`
`21`	`21`	`build: [`
`22`	`22`	`["dune" "build" "-p" name "-j" jobs]`
`23`	`23`	`["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}`
`24`		`- ["dune" "runtest" "-p" name "-j" jobs] {with-test}`
	`24`	`+ ["dune" "runtest" "-p" name "-j" jobs] {with-test & ocaml:version < "5.0.0"}`
`25`	`25`	`]`
`26`	`26`	`dev-repo: "git+https://github.com/c-cube/qcheck.git"`
`27`	`27`	`url {`
Original file line number	Diff line number	Diff line change
`@@ -23,7 +23,7 @@ conflicts: [`
`23`	`23`	`build: [`
`24`	`24`	`["dune" "build" "-p" name "-j" jobs]`
`25`	`25`	`["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}`
`26`		`- ["dune" "runtest" "-p" name "-j" jobs] {with-test}`
	`26`	`+ ["dune" "runtest" "-p" name "-j" jobs] {with-test & ocaml:version < "5.0.0"}`
`27`	`27`	`]`
`28`	`28`	`dev-repo: "git+https://github.com/c-cube/qcheck.git"`
`29`	`29`	`url {`