Skip to content

Commit

Permalink
Make dune-glob a dev dependency
Browse files Browse the repository at this point in the history
  • Loading branch information
filipeom committed Feb 8, 2025
1 parent 13a3789 commit df1cc11
Show file tree
Hide file tree
Showing 2 changed files with 3 additions and 3 deletions.
4 changes: 2 additions & 2 deletions dune-project
Original file line number Diff line number Diff line change
Expand Up @@ -50,8 +50,6 @@
(cmdliner
(>= "1.2.0"))
dune
(dune-glob
:with-test)
(dolmen
(= "0.10"))
(dolmen_type
Expand Down Expand Up @@ -102,6 +100,8 @@
:with-dev-setup)
(core_unix
:with-dev-setup)
(dune-glob
:with-dev-setup)
(lwt
:with-dev-setup)
(mdx
Expand Down
2 changes: 1 addition & 1 deletion smtml.opam
Original file line number Diff line number Diff line change
Expand Up @@ -21,7 +21,6 @@ depends: [
"bos"
"cmdliner" {>= "1.2.0"}
"dune" {>= "3.10"}
"dune-glob" {with-test}
"dolmen" {= "0.10"}
"dolmen_type" {= "0.10"}
"dolmen_model" {= "0.10"}
Expand All @@ -44,6 +43,7 @@ depends: [
"cohttp" {with-dev-setup}
"cohttp-lwt-unix" {with-dev-setup}
"core_unix" {with-dev-setup}
"dune-glob" {with-dev-setup}
"lwt" {with-dev-setup}
"mdx" {with-test}
"owl" {with-dev-setup}
Expand Down

0 comments on commit df1cc11

Please sign in to comment.