Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Inform user when model-checking has been disabled because of HAVE_MMALLOC.
authorArnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Tue, 18 Feb 2014 17:15:43 +0000 (18:15 +0100)
committerArnaud Giersch <arnaud.giersch@iut-bm.univ-fcomte.fr>
Tue, 18 Feb 2014 17:15:59 +0000 (18:15 +0100)
Also use HAVE_MC instead on enable_model-checking in cmake's final report.

buildtools/Cmake/CompleteInFiles.cmake
buildtools/Cmake/PrintArgs.cmake

index 82be210..21931ba 100644 (file)
@@ -226,6 +226,9 @@ if(enable_model-checking AND HAVE_MMALLOC)
   SET(MMALLOC_WANT_OVERRIDE_LEGACY 1)
   include(FindLibunwind)
 else()
   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()
   SET(HAVE_MC 0)
   SET(MMALLOC_WANT_OVERRIDE_LEGACY 0)
 endif()
index c6e0bd1..4e62dc6 100644 (file)
@@ -117,7 +117,7 @@ message("        Compile Smpi f90 ....: ${SMPI_F90}")
 message("        Compile Static ......: ${enable_lib_static}")
 message("")
 message("        Maintainer mode .....: ${enable_maintainer_mode}")
 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}")
 message("        Tracing mode ........: ${enable_tracing}")
 message("        Jedule  mode ........: ${enable_jedule}")
 message("        Latency bound .......: ${enable_latency_bound_tracking}")