+/* Was Jedule compiled in? */
+#cmakedefine01 SIMGRID_HAVE_JEDULE
+/* Was the Lua support compiled in? */
+#cmakedefine01 SIMGRID_HAVE_LUA
+/* Were mallocators (object pools) compiled in? */
+#cmakedefine01 SIMGRID_HAVE_MALLOCATOR
+/* Was the model-checking compiled in? */
+#cmakedefine01 SIMGRID_HAVE_MC
+/* Was the NS3 support compiled in? */
+#cmakedefine01 SIMGRID_HAVE_NS3