add missing dependency python-3-dev

formalsec · Jun 8, 2024 · 9de2bbc · 9de2bbc
1 parent 198c894
commit 9de2bbc
Show file tree

Hide file tree

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

diff --git a/dune-project b/dune-project
@@ -24,4 +24,5 @@
    (conf-g++ :build)
    (conf-gmp :build)
    (conf-cmake :build)
-   (conf-python-3 :build)))
+   (conf-python-3 :build)
+   (conf-python-3-dev :build)))