From f56fc571a44f6659dcdc55c1b2bcdd8de57af2f6 Mon Sep 17 00:00:00 2001 From: Bernd Flemisch <bernd@iws.uni-stuttgart.de> Date: Mon, 18 Jun 2018 10:36:19 +0200 Subject: [PATCH] [cornerpoint] improve patch for opm-grid See pull request #327 in opm-grid: https://github.com/OPM/opm-grid/pull/327 --- patches/opm-grid-2018.04.patch | 12 ++++++++++++ 1 file changed, 12 insertions(+) diff --git a/patches/opm-grid-2018.04.patch b/patches/opm-grid-2018.04.patch index ddc68e5566..a53bc518be 100644 --- a/patches/opm-grid-2018.04.patch +++ b/patches/opm-grid-2018.04.patch @@ -1,3 +1,15 @@ +diff --git a/dune.module b/dune.module +index 9c81972..a711c48 100644 +--- a/dune.module ++++ b/dune.module +@@ -10,5 +10,5 @@ Label: 2018.04 + Maintainer: atgeirr@sintef.no + MaintainerName: Atgeirr F. Rasmussen + Url: http://opm-project.org +-Depends: dune-common (>= 2.4) dune-geometry (>= 2.4) dune-grid (>= 2.4) +-Suggests: dune-istl (>= 2.4) opm-common ++Depends: opm-common dune-common (>= 2.4) dune-geometry (>= 2.4) dune-grid (>= 2.4) ++Suggests: dune-istl (>= 2.4) diff --git a/opm-grid-prereqs.cmake b/opm-grid-prereqs.cmake index 2ad0d86..032ac19 100644 --- a/opm-grid-prereqs.cmake -- GitLab