name-matcher-parser needs menhir

AeneasVerif · Nov 4, 2024 · 8e39adb · 8e39adb
1 parent b72e517
commit 8e39adb
Show file tree

Hide file tree

Showing 2 changed files with 2 additions and 0 deletions.
diff --git 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
@@ -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"