X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/3edf7e8a0bf4c17adc2531faf53c34ed0250fd03..cc3fbc08e8b448f5b820a2e5719f2029dcb23f89:/buildtools/Cmake/src/c_gras_config.h.in

diff --git a/buildtools/Cmake/src/c_gras_config.h.in b/buildtools/Cmake/src/c_gras_config.h.in
index eb89437716..ef71eb1ffd 100644
--- a/buildtools/Cmake/src/c_gras_config.h.in
+++ b/buildtools/Cmake/src/c_gras_config.h.in
@@ -1,6 +1,9 @@
 // <root>/buildtools/Cmake/src/c_gras_config.h.in is user-written.
 // With Cmake it creates <root>/src/gras_config.h
 
+/* Set to true if enable_model-checking is true */
+#cmakedefine MMALLOC_WANT_OVERIDE_LEGACY @MMALLOC_WANT_OVERIDE_LEGACY@
+
 /* Define if building universal (internal helper macro) */
 #cmakedefine AC_APPLE_UNIVERSAL_BUILD @AC_APPLE_UNIVERSAL_BUILD@