Add missing python dependencies

formalsec · Sep 9, 2024 · 217eebb · 217eebb
1 parent a981f30
commit 217eebb
Show file tree

Hide file tree

Showing 2 changed files with 5 additions and 1 deletion.
diff --git a/cvc5.opam b/cvc5.opam
@@ -16,6 +16,8 @@ depends: [
   "conf-cmake" {build}
   "conf-python-3" {build}
   "conf-python-3-dev" {build}
+  "conf-python3-pyparsing" {build}
+  "conf-python3-tomli" {build}
   "odoc" {with-doc}
 ]
 build: [

diff --git a/dune-project b/dune-project
@@ -25,4 +25,6 @@
    (conf-gmp :build)
    (conf-cmake :build)
    (conf-python-3 :build)
-   (conf-python-3-dev :build)))
+   (conf-python-3-dev :build)
+   (conf-python3-pyparsing :build)
+   (conf-python3-tomli :build)))