Add missing dune-glob dependency

formalsec · Nov 24, 2024 · 79b22a5 · 79b22a5
1 parent 0ed5cce
commit 79b22a5
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 0 deletions.
diff --git a/dune-project b/dune-project
@@ -49,6 +49,8 @@
   (cmdliner
    (>= "1.2.0"))
   dune
+  (dune-glob
+   :with-test)
   (dolmen
    (= "0.10"))
   (dolmen_type

diff --git a/smtml.opam b/smtml.opam
@@ -19,6 +19,7 @@ bug-reports: "https://github.com/formalsec/smtml/issues"
 depends: [
   "cmdliner" {>= "1.2.0"}
   "dune" {>= "3.10"}
+  "dune-glob" {with-test}
   "dolmen" {= "0.10"}
   "dolmen_type" {= "0.10"}
   "dolmen_model" {= "0.10"}