Merge pull request #5898 from edwintorok/master

xapi-project · Jul 31, 2024 · 9741ad4 · 9741ad4
2 parents 1be062b + 83cded6
commit 9741ad4
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 2 deletions.
diff --git a/dune-project b/dune-project
@@ -331,6 +331,7 @@
     ppx_sexp_conv
     ppx_deriving
     psq
+    qcheck-alcotest
     rpclib
     (rrdd-plugin (= :version))
     rresult

diff --git a/ocaml/libs/clock/dune b/ocaml/libs/clock/dune
@@ -13,14 +13,12 @@
 
 (library
   (name test_timer)
-  (package clock)
   (modules test_timer)
   (libraries
     alcotest
     clock
     fmt
     mtime.clock.os
-    qcheck-alcotest
     qcheck-core
   )
 )

diff --git a/xapi.opam b/xapi.opam
@@ -37,6 +37,7 @@ depends: [
   "ppx_sexp_conv"
   "ppx_deriving"
   "psq"
+  "qcheck-alcotest"
   "rpclib"
   "rrdd-plugin" {= version}
   "rresult"