Add option enable_modele-checking.

[simgrid.git] / 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 4334b7e..ef71eb1 100644 (file)
--- 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@
 
@@ -69,6 +72,9 @@
 /* Define to 1 if you have the <execinfo.h> header file. */
 #cmakedefine HAVE_EXECINFO_H @HAVE_EXECINFO_H@
 
+/* Define to 1 if you have the `mmap' function. */
+#cmakedefine HAVE_MMAP @HAVE_MMAP@
+
 /* Define to 1 if you have the `getdtablesize' function. */
 #cmakedefine HAVE_GETDTABLESIZE @HAVE_GETDTABLESIZE@