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.
This commit is contained in:
Roland Kaufmann 2013-07-31 10:42:13 +02:00
parent 2dac509c97
commit 6757860aac

View File

@ -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
)