diff --git a/dune.module b/dune.module index cc0208187..daff96b90 100644 --- a/dune.module +++ b/dune.module @@ -10,3 +10,4 @@ Label: 2018.04-pre Maintainer: opm@opm-project.org MaintainerName: OPM community Url: http://opm-project.org +Depends: dune-common