Merge pull request ocaml#16916 from c-cube/release-qcheck-0.14

qcheck, qcheck-ounit, qcheck-core and qcheck-alcotest 0.14
pitag-ha · Aug 5, 2020 · be5f02d · be5f02d
2 parents 183ae1f + ed61027
commit be5f02d
Show file tree

Hide file tree

Showing 29 changed files with 171 additions and 26 deletions.
diff --git a/packages/batteries/batteries.3.0.0/opam b/packages/batteries/batteries.3.0.0/opam
@@ -22,7 +22,7 @@ depends: [
   "ocamlfind" {build & >= "1.5.3"}
   "ocamlbuild" {build}
   "qtest" {with-test & >= "2.5"}
-  "qcheck" {with-test & >= "0.6"}
+  "qcheck" {with-test & >= "0.6" & < "0.14"}
   "num"
 ]
 url {

diff --git a/packages/containers/containers.2.7/opam b/packages/containers/containers.2.7/opam
@@ -12,7 +12,7 @@ depends: [
   "result" { < "1.5" }
   "uchar"
   "qtest" { with-test }
-  "qcheck" { with-test & >= "0.9" }
+  "qcheck" { with-test & >= "0.9" & < "0.14" }
   "ounit" { with-test }
   "iter" { with-test }
   "gen" { with-test }

diff --git a/packages/containers/containers.2.8.1/opam b/packages/containers/containers.2.8.1/opam
@@ -12,7 +12,7 @@ depends: [
   "dune-configurator"
   "seq"
   "qtest" { with-test }
-  "qcheck" { with-test }
+  "qcheck" { with-test & < "0.14" }
   "ounit" { with-test }
   "iter" { with-test }
   "gen" { with-test }

diff --git a/packages/containers/containers.2.8/opam b/packages/containers/containers.2.8/opam
@@ -12,7 +12,7 @@ depends: [
   "dune-configurator"
   "seq"
   "qtest" { with-test }
-  "qcheck" { with-test }
+  "qcheck" { with-test & < "0.14" }
   "ounit" { with-test }
   "iter" { with-test }
   "gen" { with-test }

diff --git a/packages/gen/gen.0.5.1/opam b/packages/gen/gen.0.5.1/opam
@@ -17,7 +17,7 @@ depends: [
   "base-bytes"
   "odoc" {with-doc}
   "qtest" {with-test}
-  "qcheck" {with-test}
+  "qcheck" {with-test & < "0.14"}
 ]
 synopsis: "Simple and efficient iterators (modules Gen and GenLabels)."
 description: """

diff --git a/packages/gen/gen.0.5.2/opam b/packages/gen/gen.0.5.2/opam
@@ -12,7 +12,7 @@ depends: [
   "base-bytes"
   "odoc" {with-doc}
   "qtest" {with-test}
-  "qcheck" {with-test}
+  "qcheck" {with-test & < "0.14"}
   "qtest" {with-test}
 ]
 build: [

diff --git a/packages/gen/gen.0.5.3/opam b/packages/gen/gen.0.5.3/opam
@@ -11,7 +11,7 @@ depends: [
   "dune-configurator"
   "base-bytes"
   "odoc" {with-doc}
-  "qcheck" {with-test}
+  "qcheck" {with-test & < "0.14"}
   "qtest" {with-test}
   "ocaml" { >= "4.03.0" }
 ]

diff --git a/packages/iter/iter.1.2.1/opam b/packages/iter/iter.1.2.1/opam
@@ -15,7 +15,7 @@ depends: [
   "result"
   "dune"
   "dune-configurator"
-  "qcheck" {with-test}
+  "qcheck" {with-test & < "0.14"}
   "qtest" {with-test}
   "mdx" {with-test}
   "odoc" {with-doc}

diff --git a/packages/iter/iter.1.2/opam b/packages/iter/iter.1.2/opam
@@ -15,7 +15,7 @@ depends: [
   "base-bytes"
   "result"
   "dune"
-  "qcheck" {with-test}
+  "qcheck" {with-test & < "0.14"}
   "qtest" {with-test}
   "mdx" {with-test}
   "odoc" {with-doc}

diff --git a/packages/lbvs_consent/lbvs_consent.1.1.2/opam b/packages/lbvs_consent/lbvs_consent.1.1.2/opam
@@ -27,7 +27,7 @@ depends: [
   "minivpt"
   "obuild" {build}
   "parmap"
-  "qcheck" {build}
+  "qcheck" {build & < "0.14"}
   "qtest" {build}
 ]
 synopsis:

diff --git a/packages/lbvs_consent/lbvs_consent.1.1.3/opam b/packages/lbvs_consent/lbvs_consent.1.1.3/opam
@@ -28,7 +28,7 @@ depends: [
   "minicli"
   "obuild" {build}
   "parmap"
-  "qcheck" {build}
+  "qcheck" {build & < "0.14"}
   "qtest" {build}
 ]
 synopsis:

diff --git a/packages/lwt-pipe/lwt-pipe.0.1/opam b/packages/lwt-pipe/lwt-pipe.0.1/opam
@@ -11,7 +11,7 @@ depends: [
   "lwt"
   "ocaml" { >= "4.03.0" }
   "mdx" {with-test}
-  "qcheck" {with-test}
+  "qcheck" {with-test & < "0.14"}
   "qtest" {with-test}
   "odoc" {with-doc}
 ]

diff --git a/packages/olinq/olinq.0.3/opam b/packages/olinq/olinq.0.3/opam
@@ -12,7 +12,7 @@ depends: [
   "ocaml" {>= "4.02"}
   "odoc" {with-doc}
   "qtest" {with-test}
-  "qcheck" {with-test}
+  "qcheck" {with-test & < "0.14"}
 ]
 build: [
   ["dune" "build" "-p" name "-j" jobs]
@@ -26,4 +26,4 @@ url {
     "md5=586bfad3e744f8c459fa9f17db594c64"
     "sha512=564efbea08d6e67ffa6ac6ba46c4737632ab206656f376a4b4b145984da7adcf14a731133c10201282105dae4345d924c423415830dcdaba78c98a0ffdda4c37"
   ]
-}
+}
diff --git a/packages/oseq/oseq.0.1/opam b/packages/oseq/oseq.0.1/opam
@@ -16,7 +16,7 @@ depends: [
   "ocaml" {>= "4.02.0"}
   "ocamlfind" {build}
   "jbuilder"
-  "qcheck" {with-test}
+  "qcheck" {with-test & < "0.14"}
   "qtest" {with-test}
   "gen" {with-test}
   "containers" {with-test}

diff --git a/packages/oseq/oseq.0.2/opam b/packages/oseq/oseq.0.2/opam
@@ -8,7 +8,7 @@ doc: "https://c-cube.github.io/oseq/"
 bug-reports: "https://github.com/c-cube/oseq/issues"
 depends: [
   "dune"
-  "qcheck" {with-test}
+  "qcheck" {with-test & < "0.14"}
   "qtest" {with-test}
   "gen" {with-test}
   "containers" {with-test}

diff --git a/packages/oseq/oseq.0.3/opam b/packages/oseq/oseq.0.3/opam
@@ -12,7 +12,7 @@ doc: "https://c-cube.github.io/oseq/"
 bug-reports: "https://github.com/c-cube/oseq/issues"
 depends: [
   "dune" {>= "1.0"}
-  "qcheck" {with-test}
+  "qcheck" {with-test & < "0.14"}
   "qtest" {with-test}
   "gen" {with-test}
   "containers" {with-test}

diff --git a/packages/qcheck-alcotest/qcheck-alcotest.0.14/opam b/packages/qcheck-alcotest/qcheck-alcotest.0.14/opam
@@ -0,0 +1,36 @@
+opam-version: "2.0"
+maintainer: "[email protected]"
+homepage: "https://github.com/c-cube/qcheck/"
+synopsis: "Alcotest backend for qcheck"
+doc: ["http://c-cube.github.io/qcheck/"]
+version: "0.14"
+tags: [
+  "test"
+  "quickcheck"
+  "qcheck"
+  "alcotest"
+]
+build: [
+  ["dune" "build" "-p" name "-j" jobs]
+  ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
+  ["dune" "runtest" "-p" name "-j" jobs] {with-test}
+]
+depends: [
+  "dune"
+  "base-bytes"
+  "base-unix"
+  "qcheck-core" { = version }
+  "alcotest"
+  "odoc" {with-doc}
+  "ocaml" {>= "4.03.0"}
+]
+dev-repo: "git+https://github.com/c-cube/qcheck.git"
+bug-reports: "https://github.com/c-cube/qcheck/issues"
+authors: "Simon Cruanes <[email protected]>"
+url {
+  src:
+    "https://github.com/c-cube/qcheck/archive/0.14.tar.gz"
+  checksum: [
+    "md5=a2404f28cba107b4c2263dcc2e67b3ac"
+  ]
+}
diff --git a/packages/qcheck-core/qcheck-core.0.14/opam b/packages/qcheck-core/qcheck-core.0.14/opam
@@ -0,0 +1,36 @@
+opam-version: "2.0"
+maintainer: "[email protected]"
+homepage: "https://github.com/c-cube/qcheck/"
+synopsis: "Core qcheck library"
+doc: ["http://c-cube.github.io/qcheck/"]
+version: "0.14"
+tags: [
+  "test"
+  "property"
+  "quickcheck"
+]
+build: [
+  ["dune" "build" "-p" name "-j" jobs]
+  ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
+  ["dune" "runtest" "-p" name "-j" jobs] {with-test}
+]
+depends: [
+  "dune"
+  "base-bytes"
+  "base-unix"
+  "odoc" {with-doc}
+  "ocaml" {>= "4.03.0"}
+]
+dev-repo: "git+https://github.com/c-cube/qcheck.git"
+bug-reports: "https://github.com/c-cube/qcheck/issues"
+conflicts: [
+  "ounit" { < "2.0" }
+]
+authors: "Simon Cruanes <[email protected]>"
+url {
+  src:
+    "https://github.com/c-cube/qcheck/archive/0.14.tar.gz"
+  checksum: [
+    "md5=a2404f28cba107b4c2263dcc2e67b3ac"
+  ]
+}
diff --git a/packages/qcheck-ounit/qcheck-ounit.0.14/opam b/packages/qcheck-ounit/qcheck-ounit.0.14/opam
@@ -0,0 +1,35 @@
+opam-version: "2.0"
+maintainer: "[email protected]"
+homepage: "https://github.com/c-cube/qcheck/"
+doc: ["http://c-cube.github.io/qcheck/"]
+synopsis: "OUnit backend for qcheck"
+version: "0.14"
+tags: [
+  "qcheck"
+  "quickcheck"
+  "ounit"
+]
+build: [
+  ["dune" "build" "-p" name "-j" jobs]
+  ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
+  ["dune" "runtest" "-p" name "-j" jobs] {with-test}
+]
+depends: [
+  "dune"
+  "base-bytes"
+  "base-unix"
+  "qcheck-core" { = version }
+  "ounit2"
+  "odoc" {with-doc}
+  "ocaml" {>= "4.03.0"}
+]
+dev-repo: "git+https://github.com/c-cube/qcheck.git"
+bug-reports: "https://github.com/c-cube/qcheck/issues"
+authors: "Simon Cruanes <[email protected]>"
+url {
+  src:
+    "https://github.com/c-cube/qcheck/archive/0.14.tar.gz"
+  checksum: [
+    "md5=a2404f28cba107b4c2263dcc2e67b3ac"
+  ]
+}
diff --git a/packages/qcheck/qcheck.0.14/opam b/packages/qcheck/qcheck.0.14/opam
@@ -0,0 +1,38 @@
+opam-version: "2.0"
+maintainer: "[email protected]"
+synopsis: "Compatibility package for qcheck"
+homepage: "https://github.com/c-cube/qcheck/"
+doc: ["http://c-cube.github.io/qcheck/"]
+version: "0.14"
+tags: [
+  "test"
+  "property"
+  "quickcheck"
+]
+build: [
+  ["dune" "build" "-p" name "-j" jobs]
+  ["dune" "build" "@doc" "-p" name "-j" jobs] {with-doc}
+  ["dune" "runtest" "-p" name "-j" jobs] {with-test}
+]
+depends: [
+  "dune"
+  "base-bytes"
+  "base-unix"
+  "qcheck-core" { = version }
+  "qcheck-ounit" { = version }
+  "odoc" {with-doc}
+  "ocaml" {>= "4.03.0"}
+]
+dev-repo: "git+https://github.com/c-cube/qcheck.git"
+bug-reports: "https://github.com/c-cube/qcheck/issues"
+conflicts: [
+  "ounit" { < "2.0" }
+]
+authors: "Simon Cruanes <[email protected]>"
+url {
+  src:
+    "https://github.com/c-cube/qcheck/archive/0.14.tar.gz"
+  checksum: [
+    "md5=a2404f28cba107b4c2263dcc2e67b3ac"
+  ]
+}
diff --git a/packages/qtest/qtest.2.11/opam b/packages/qtest/qtest.2.11/opam
@@ -17,7 +17,7 @@ depends: [
   "base-bytes"
   "ounit2"
   "dune" { >= "1.1" }
-  "qcheck" { >= "0.5" }
+  "qcheck" { >= "0.5" & < "0.14" }
   "ocaml" { >= "4.03.0" }
 ]
 tags: [

diff --git a/packages/sqlite3_utils/sqlite3_utils.0.1/opam b/packages/sqlite3_utils/sqlite3_utils.0.1/opam
@@ -14,7 +14,7 @@ depends: [
   "sqlite3"
   "seq"
   "qtest" {with-test & >= "2.10.1" }
-  "qcheck" {with-test}
+  "qcheck" {with-test & < "0.14"}
   "odoc" {with-doc}
 ]
 tags: [ "sqlite3" "gadt" "typed" "sql" ]

diff --git a/packages/sqlite3_utils/sqlite3_utils.0.2/opam b/packages/sqlite3_utils/sqlite3_utils.0.2/opam
@@ -14,7 +14,7 @@ depends: [
   "sqlite3"
   "seq"
   "qtest" {with-test & >= "2.10.1" }
-  "qcheck" {with-test}
+  "qcheck" {with-test & < "0.14"}
   "odoc" {with-doc}
 ]
 tags: [ "sqlite3" "gadt" "typed" "sql" ]

diff --git a/packages/sqlite3_utils/sqlite3_utils.0.3.1/opam b/packages/sqlite3_utils/sqlite3_utils.0.3.1/opam
@@ -14,7 +14,7 @@ depends: [
   "sqlite3"
   "seq"
   "qtest" {with-test & >= "2.10.1" }
-  "qcheck" {with-test}
+  "qcheck" {with-test & < "0.14"}
   "odoc" {with-doc}
 ]
 tags: [ "sqlite3" "gadt" "typed" "sql" ]

diff --git a/packages/sqlite3_utils/sqlite3_utils.0.3/opam b/packages/sqlite3_utils/sqlite3_utils.0.3/opam
@@ -14,7 +14,7 @@ depends: [
   "sqlite3"
   "seq"
   "qtest" {with-test & >= "2.10.1" }
-  "qcheck" {with-test}
+  "qcheck" {with-test & < "0.14"}
   "odoc" {with-doc}
 ]
 tags: [ "sqlite3" "gadt" "typed" "sql" ]

diff --git a/packages/tiny_httpd/tiny_httpd.0.3/opam b/packages/tiny_httpd/tiny_httpd.0.3/opam
@@ -14,7 +14,7 @@ depends: [
   "ocaml" { >= "4.03.0" }
   "odoc" {with-doc}
   "qtest" { >= "2.9" & with-test}
-  "qcheck" {with-test}
+  "qcheck" {with-test & < "0.14"}
 ]
 tags: [ "http" "thread" "server" "tiny_httpd" "http_of_dir" "simplehttpserver" ]
 homepage: "https://github.com/c-cube/tiny_httpd/"

diff --git a/packages/tiny_httpd/tiny_httpd.0.4/opam b/packages/tiny_httpd/tiny_httpd.0.4/opam
@@ -14,7 +14,7 @@ depends: [
   "ocaml" { >= "4.03.0" }
   "odoc" {with-doc}
   "qtest" { >= "2.9" & with-test}
-  "qcheck" {with-test}
+  "qcheck" {with-test & < "0.14"}
 ]
 tags: [ "http" "thread" "server" "tiny_httpd" "http_of_dir" "simplehttpserver" ]
 homepage: "https://github.com/c-cube/tiny_httpd/"

diff --git a/packages/tiny_httpd/tiny_httpd.0.5/opam b/packages/tiny_httpd/tiny_httpd.0.5/opam
@@ -14,7 +14,7 @@ depends: [
   "ocaml" { >= "4.03.0" }
   "odoc" {with-doc}
   "qtest" { >= "2.9" & with-test}
-  "qcheck" {with-test}
+  "qcheck" {with-test & < "0.14"}
 ]
 tags: [ "http" "thread" "server" "tiny_httpd" "http_of_dir" "simplehttpserver" ]
 homepage: "https://github.com/c-cube/tiny_httpd/"

diff --git a/packages/tiny_httpd/tiny_httpd.0.6/opam b/packages/tiny_httpd/tiny_httpd.0.6/opam
@@ -14,7 +14,7 @@ depends: [
   "ocaml" { >= "4.03.0" }
   "odoc" {with-doc}
   "qtest" { >= "2.9" & with-test}
-  "qcheck" {with-test}
+  "qcheck" {with-test & < "0.14"}
 ]
 tags: [ "http" "thread" "server" "tiny_httpd" "http_of_dir" "simplehttpserver" ]
 homepage: "https://github.com/c-cube/tiny_httpd/"