diff --git a/opam/opam b/opam/opam index e65da66328e496b98bfae235fafb89dcb8d67162..c79d0e11f311c324d7da0d1dd4dd8fab8a62a839 100644 --- a/opam/opam +++ b/opam/opam @@ -91,6 +91,7 @@ build: [ ["./configure" "--prefix" prefix "--mandir=%{man}%" ] + [make "depend"] [make "-j%{jobs}%"] [make "-C" "doc" "download"] {with-doc} ]