Merge pull request #5690 from GabrielBuica/private/dbuica/fix-rpm-build

rpm: remove `sexprpp` from public_name
xapi-project · Jun 14, 2024 · 130bbbe · 130bbbe
2 parents 94b24f5 + 703f8bb
commit 130bbbe
Show file tree

Hide file tree

Showing 3 changed files with 2 additions and 2 deletions.
diff --git a/ocaml/libs/sexpr/dune b/ocaml/libs/sexpr/dune
@@ -17,8 +17,6 @@
 (executable
   (modes exe)
   (name sexprpp)
-  (public_name sexprpp)
-  (package sexpr)
   (modules sexprpp)
   (libraries
     sexpr

diff --git a/ocaml/libs/sexpr/test/dune b/ocaml/libs/sexpr/test/dune
@@ -1,4 +1,5 @@
 (test
  (name test_sexpr)
+ (package sexpr)
  (modules test_sexpr)
  (libraries sexpr astring rresult qcheck-core alcotest threads))
diff --git a/sexpr.opam b/sexpr.opam
@@ -13,6 +13,7 @@ depends: [
   "ocaml"
   "dune"
   "astring"
+  "qcheck-core" {with-test}
   "xapi-stdext-threads"
 ]
 synopsis: "Library required by xapi"