add battery-chiller-solar example.

[simgrid.git] / include / simgrid / config.h.in

diff --git a/include/simgrid/config.h.in b/include/simgrid/config.h.in
index 83977db9ed4cf7ccffcc83ed6dd3eb6d8b6c3dac..bb4f27e346fccbcd310842841862b5a6d7c76e95 100644 (file)
--- a/include/simgrid/config.h.in
+++ b/include/simgrid/config.h.in
@@ -11,6 +11,8 @@
 
 /* Were mallocators (object pools) compiled in? */
 #cmakedefine01 SIMGRID_HAVE_MALLOCATOR
+/* Was the model-checking compiled in? */
+#cmakedefine01 SIMGRID_HAVE_MC
 /* Was the stateful model-checking compiled in? */
 #cmakedefine01 SIMGRID_HAVE_STATEFUL_MC
 /* Was the ns-3 support compiled in? */