From b1e6d5a9f888c3d4be74fef39e3e092475bcdc06 Mon Sep 17 00:00:00 2001
From: Nadrieril <nadrieril+git@gmail.com>
Date: Mon, 4 Nov 2024 11:09:45 +0100
Subject: [PATCH] Add dependencies to dune-project file

---
 charon.opam              |  6 ++++++
 dune-project             | 20 ++++++++++++++++++--
 name_matcher_parser.opam |  4 ++++
 3 files changed, 28 insertions(+), 2 deletions(-)

diff --git a/charon.opam b/charon.opam
index 9fb39776..1401f1d5 100644
--- 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
index 12b5c218..4c7188cb 100644
--- 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 ""))
\ No newline at end of file
+ (description "")
+ (depends
+   menhirLib
+   ppx_deriving
+   visitors
+   zarith
+ )
+)
diff --git a/name_matcher_parser.opam b/name_matcher_parser.opam
index 74c95fa1..5e9b53b3 100644
--- 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: [