From b72e517618b3d34d02bcdbfa61a80d24258b52f2 Mon Sep 17 00:00:00 2001
From: Nadrieril <nadrieril+git@gmail.com>
Date: Mon, 4 Nov 2024 11:09:45 +0100
Subject: [PATCH 1/2] 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: [

From 8e39adb690425d972e561716c6217fa4472115da Mon Sep 17 00:00:00 2001
From: Nadrieril <nadrieril+git@gmail.com>
Date: Mon, 4 Nov 2024 11:51:08 +0100
Subject: [PATCH 2/2] name-matcher-parser needs menhir

---
 dune-project             | 1 +
 name_matcher_parser.opam | 1 +
 2 files changed, 2 insertions(+)

diff --git a/dune-project b/dune-project
index 4c7188cb..60b9a83f 100644
--- a/dune-project
+++ b/dune-project
@@ -45,6 +45,7 @@
  (synopsis "Parser to define name matchers")
  (description "")
  (depends
+   (menhir :build)
    menhirLib
    ppx_deriving
    visitors
diff --git a/name_matcher_parser.opam b/name_matcher_parser.opam
index 5e9b53b3..2593df0a 100644
--- a/name_matcher_parser.opam
+++ b/name_matcher_parser.opam
@@ -9,6 +9,7 @@ homepage: "https://github.com/AeneasVerif/charon"
 bug-reports: "https://github.com/AeneasVerif/charon/issues"
 depends: [
   "dune" {>= "3.7"}
+  "menhir" {build}
   "menhirLib"
   "ppx_deriving"
   "visitors"