Add dependencies to dune-project file

AeneasVerif · Nov 4, 2024 · db4c21b · db4c21b
1 parent 8f5a1c0
commit db4c21b
Show file tree

Hide file tree

Showing 3 changed files with 28 additions and 2 deletions.
diff --git a/charon.opam b/charon.opam
@@ -15,6 +15,12 @@ homepage: "https://github.com/AeneasVerif/charon"
 bug-reports: "https://github.com/AeneasVerif/charon/issues"
 depends: [
   "dune" {>= "3.7"}
+  "easy_logging"
+  "ppx_deriving"
+  "visitors"
+  "yojson"
+  "zarith"
+  "name_matcher_parser"
   "odoc" {with-doc}
 ]
 build: [

diff --git a/dune-project b/dune-project
@@ -29,9 +29,25 @@
    This library allows for manipulation of LLBC, the language output by
    Charon. Charon acts as an interface between the rustc compiler and program
    verification projects.  Its purpose is to process Rust .rs files and convert
-   them into files easy to handle by program verifiers."))
+   them into files easy to handle by program verifiers.")
+ (depends
+   easy_logging
+   ppx_deriving
+   visitors
+   yojson
+   zarith
+   name_matcher_parser
+ )
+)
 
 (package
  (name name_matcher_parser)
  (synopsis "Parser to define name matchers")
- (description ""))
+ (description "")
+ (depends
+   menhirLib
+   ppx_deriving
+   visitors
+   zarith
+ )
+)
diff --git a/name_matcher_parser.opam b/name_matcher_parser.opam
@@ -9,6 +9,10 @@ homepage: "https://github.com/AeneasVerif/charon"
 bug-reports: "https://github.com/AeneasVerif/charon/issues"
 depends: [
   "dune" {>= "3.7"}
+  "menhirLib"
+  "ppx_deriving"
+  "visitors"
+  "zarith"
   "odoc" {with-doc}
 ]
 build: [