Merge pull request #5685 from edwintorok/private/edvint/qcheck

xapi-project · Jun 12, 2024 · 65dc11e · 65dc11e
2 parents f659636 + d5f1825
commit 65dc11e
Show file tree

Hide file tree

Showing 4 changed files with 4 additions and 3 deletions.
diff --git a/ocaml/libs/sexpr/test/dune b/ocaml/libs/sexpr/test/dune
@@ -1,4 +1,4 @@
 (test
  (name test_sexpr)
  (modules test_sexpr)
- (libraries sexpr astring rresult qcheck alcotest threads))
+ (libraries sexpr astring rresult qcheck-core alcotest threads))
diff --git a/sexpr.opam.template b/sexpr.opam.template
@@ -11,6 +11,7 @@ depends: [
   "ocaml"
   "dune"
   "astring"
+  "qcheck-core" {with-test}
   "xapi-stdext-threads"
 ]
 synopsis: "Library required by xapi"

diff --git a/wsproxy.opam b/wsproxy.opam
@@ -22,7 +22,7 @@ depends: [
   "re"
   "uuid"
   "ounit2" {with-test}
-  "qcheck" {with-test}
+  "qcheck-core" {with-test}
 ]
 tags: [ "org:xapi-project" ]
 synopsis: "Websockets proxy for VNC traffic"

diff --git a/wsproxy.opam.template b/wsproxy.opam.template
@@ -20,7 +20,7 @@ depends: [
   "re"
   "uuid"
   "ounit2" {with-test}
-  "qcheck" {with-test}
+  "qcheck-core" {with-test}
 ]
 tags: [ "org:xapi-project" ]
 synopsis: "Websockets proxy for VNC traffic"