diff --git a/dune-project b/dune-project
index 0d664aa8..869e2133 100644
--- 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
index 62faf70d..da0db3af 100644
--- 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"}