From: Martin Quinson <martin.quinson@loria.fr>
Date: Wed, 8 Feb 2012 15:53:16 +0000 (+0100)
Subject: user code sometimes needs to know whether MC is activated
X-Git-Tag: exp_20120216~45
X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/commitdiff_plain/0d4d523ed63cc1b2065730cda74e8b07f9aec46b?hp=18830ad59a14b63f78de5f8c6864ec894b00f18e;ds=sidebyside

user code sometimes needs to know whether MC is activated
---

diff --git a/include/simgrid_config.h.in b/include/simgrid_config.h.in
index 03794ce301..e07f48a826 100644
--- a/include/simgrid_config.h.in
+++ b/include/simgrid_config.h.in
@@ -132,6 +132,8 @@ XBT_PUBLIC(char *) bprintf(const char *fmt, ...) _XBT_GNUC_PRINTF(1, 2);
 /* If __thread is available */
 #cmakedefine HAVE_THREAD_LOCAL_STORAGE @HAVE_THREAD_LOCAL_STORAGE@
 
+/* If Model-Checking support was requested */
+#cmakedefine HAVE_MC @HAVE_MC@
 
 SG_END_DECL()
 #endif /* SIMGRID_PUBLIC_CONFIG_H */