X-Git-Url: http://bilbo.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/5ed37babb2fa9097abe82df299c0aa259ed84d5a..879f2fd8a6a5c52c852fb221eeacccec715f0a56:/include/simgrid/config.h.in

diff --git a/include/simgrid/config.h.in b/include/simgrid/config.h.in
index 43c99232c5..bb4f27e346 100644
--- a/include/simgrid/config.h.in
+++ b/include/simgrid/config.h.in
@@ -9,15 +9,17 @@
 #define SIMGRID_PUBLIC_CONFIG_H
 #include <xbt/base.h>
 
-/* Was MSG compiled in?  */
-#cmakedefine01 SIMGRID_HAVE_MSG
 /* 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? */
 #cmakedefine01 SIMGRID_HAVE_NS3
 #cmakedefine NS3_MINOR_VERSION @NS3_MINOR_VERSION@
 /* Was the Eigen3 support compiled in? */
 #cmakedefine01 SIMGRID_HAVE_EIGEN3
+/* Was the JSON support compiled in? */
+#cmakedefine01 SIMGRID_HAVE_JSON
 #endif /* SIMGRID_PUBLIC_CONFIG_H */