From 6fa44b6f232544230686418ea70639b5a1080d93 Mon Sep 17 00:00:00 2001
From: Roland Kaufmann <roland.kaufmann@uni.no>
Date: Wed, 31 Jul 2013 10:42:13 +0200
Subject: [PATCH] Make sure CMake is re-run if dune.module changes

Version number in this module is included in the name of the library;
if we make changes to dune.module, it should do a complete reconfigure.
---
 cmake/Modules/OpmLibMain.cmake | 7 +++++++
 1 file changed, 7 insertions(+)

diff --git a/cmake/Modules/OpmLibMain.cmake b/cmake/Modules/OpmLibMain.cmake
index 2b2f658ac..f9e33eb1e 100644
--- a/cmake/Modules/OpmLibMain.cmake
+++ b/cmake/Modules/OpmLibMain.cmake
@@ -223,3 +223,10 @@ opm_dist_clean (${project})
 
 ### emulate the with-xxx feature of autotools;
 include (OpmKnown)
+
+# make sure we rebuild if dune.module changes
+configure_file (
+	"${CMAKE_CURRENT_SOURCE_DIR}/dune.module"
+	"${CMAKE_CURRENT_BINARY_DIR}/dunemod.tmp"
+	COPYONLY
+	)