export header file dependency

api/dune

@@ -10,6 +10,7 @@
  (foreign_stubs
   (language cxx)
   (names build_enums)
+  (extra_deps ../cvc5_export.h)
   (flags :standard -std=c++17 -I/opt/homebrew/include)
   (include_dirs 
    ../vendor/cvc5/include))

cvc5.opam

@@ -1,7 +1,7 @@
 # This file is generated by dune, edit dune-project instead
 opam-version: "2.0"
-synopsis: "OCaml bindings for the CVC5 SMT solver"
-description: "OCaml bindings for the CVC5 SMT solver"
+synopsis: "OCaml bindings for the cvc5 SMT solver"
+description: "OCaml bindings for the cvc5 SMT solver"
 maintainer: ["João Pereira <joaomhmpereira@tecnico.ulisboa.pt>"]
 authors: ["João Pereira <joaomhmpereira@tecnico.ulisboa.pt>"]
 homepage: "https://github.com/formalsec/ocaml-cvc5"
@@ -12,6 +12,7 @@ depends: [
   "conf-gcc" {build}
   "conf-g++" {build}
   "conf-gmp" {build}
+  "conf-cmake" {build}
   "conf-python-3" {build}
   "odoc" {with-doc}
 ]

dune

@@ -8,13 +8,13 @@
     (chdir vendor
      (chdir cvc5
       (progn
-       ; (run pipx install -r contrib/requirements_build.txt)
        (run ./configure.sh --auto-download --static)
        (run make -C build -j 4))))
     (copy vendor/cvc5/build/src/libcvc5.a libcvc5.a)
     (copy vendor/cvc5/build/deps/lib/libcadical.a libcadical.a)
     (copy vendor/cvc5/build/deps/lib/libpicpoly.a libpicpoly.a)
     (copy vendor/cvc5/build/deps/lib/libpicpolyxx.a libpicpolyxx.a)
+    (copy vendor/cvc5/build/include/cvc5/cvc5_export.h vendor/cvc5/include/cvc5/cvc5_export.h)
     (copy vendor/cvc5/build/include/cvc5/cvc5_export.h cvc5_export.h)))))
 
 (library

dune-project

@@ -13,12 +13,13 @@
 
 (package
   (name cvc5)
-  (synopsis "OCaml bindings for the CVC5 SMT solver")
-  (description "OCaml bindings for the CVC5 SMT solver")
+  (synopsis "OCaml bindings for the cvc5 SMT solver")
+  (description "OCaml bindings for the cvc5 SMT solver")
   (depends
    dune
    (ocaml (>= 4.12))
    (conf-gcc :build)
    (conf-g++ :build)
    (conf-gmp :build)
+   (conf-cmake :build)
    (conf-python-3 :build)))