SET(enable_model-checking 0)
endif()
-if(enable_jedule)
- set(SIMGRID_HAVE_JEDULE 1)
-else()
- set(SIMGRID_HAVE_JEDULE 0)
-endif()
-
if(enable_mallocators)
SET(SIMGRID_HAVE_MALLOCATOR 1)
else()
message(" Maintainer mode .............: ${enable_maintainer_mode}")
message(" Documentation................: ${enable_documentation}")
message(" Model checking ..............: ${SIMGRID_HAVE_MC}")
-message(" Jedule mode ................: ${SIMGRID_HAVE_JEDULE}")
message(" Graphviz mode ...............: ${HAVE_GRAPHVIZ}")
message(" Mallocators .................: ${enable_mallocators}")
message("")
include src/dag/dax.dtd
include src/dag/dax_dtd.c
include src/dag/dax_dtd.h
+include src/dag/loaders.cpp
include src/include/catch.hpp
include src/include/mc/datatypes.h
include src/include/mc/mc.h
/* Was MSG compiled in? */
#cmakedefine01 SIMGRID_HAVE_MSG
-/* Was Jedule compiled in? */
-#cmakedefine01 SIMGRID_HAVE_JEDULE
/* Was the Lua support compiled in? */
#cmakedefine01 SIMGRID_HAVE_LUA
/* Were mallocators (object pools) compiled in? */
XBT_HELP(" ns-3 support disabled at compilation.");
#endif
-#if SIMGRID_HAVE_JEDULE
- XBT_HELP(" Jedule support compiled in.");
-#else
- XBT_HELP(" Jedule support disabled at compilation.");
-#endif
-
#if SIMGRID_HAVE_LUA
XBT_HELP(" Lua support compiled in.");
#else
${MSG_SRC})
endif()
-if(${SIMGRID_HAVE_JEDULE})
- set(simgrid_sources ${simgrid_sources} ${JEDULE_SRC})
-else()
- set(EXTRA_DIST ${EXTRA_DIST} ${JEDULE_SRC})
-endif()
-
if(enable_smpi)
set(simgrid_sources ${simgrid_sources} ${SMPI_SRC})
endif()
${headers_to_install}
${source_of_generated_headers}
${BINDINGS_SRC}
- ${JEDULE_SRC}
${JMSG_C_SRC}
${JMSG_JAVA_SRC}
${LUA_SRC}
${S4U_SRC}
${NS3_SRC}
${PLUGINS_SRC}
- ${SIMDAG_SRC}
+ ${DAG_SRC}
${SIMGRID_SRC}
${SIMIX_SRC}
${SMPI_SRC}
int
java
Java
-JEDULE
JNI
kcachegrind
KILLME