From 27fd1b6757249487b365cc7fda4d79e5fa117811 Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Tue, 18 Feb 2014 18:15:43 +0100 Subject: [PATCH] Inform user when model-checking has been disabled because of HAVE_MMALLOC. Also use HAVE_MC instead on enable_model-checking in cmake's final report. --- buildtools/Cmake/CompleteInFiles.cmake | 3 +++ buildtools/Cmake/PrintArgs.cmake | 2 +- 2 files changed, 4 insertions(+), 1 deletion(-) diff --git a/buildtools/Cmake/CompleteInFiles.cmake b/buildtools/Cmake/CompleteInFiles.cmake index 82be2102ed..21931ba6e8 100644 --- a/buildtools/Cmake/CompleteInFiles.cmake +++ b/buildtools/Cmake/CompleteInFiles.cmake @@ -226,6 +226,9 @@ if(enable_model-checking AND HAVE_MMALLOC) SET(MMALLOC_WANT_OVERRIDE_LEGACY 1) include(FindLibunwind) else() + if(enable_model-checking) + message(STATUS "Warning: support for model-checking has been disabled because HAVE_MMALLOC is false") + endif() SET(HAVE_MC 0) SET(MMALLOC_WANT_OVERRIDE_LEGACY 0) endif() diff --git a/buildtools/Cmake/PrintArgs.cmake b/buildtools/Cmake/PrintArgs.cmake index c6e0bd1c60..4e62dc6b98 100644 --- a/buildtools/Cmake/PrintArgs.cmake +++ b/buildtools/Cmake/PrintArgs.cmake @@ -117,7 +117,7 @@ message(" Compile Smpi f90 ....: ${SMPI_F90}") message(" Compile Static ......: ${enable_lib_static}") message("") message(" Maintainer mode .....: ${enable_maintainer_mode}") -message(" Model checking ......: ${enable_model-checking}") +message(" Model checking ......: ${HAVE_MC}") message(" Tracing mode ........: ${enable_tracing}") message(" Jedule mode ........: ${enable_jedule}") message(" Latency bound .......: ${enable_latency_bound_tracking}") -- 2.20.1