git-svn-id: svn+ssh://scm.gforge.inria.fr/svn/simgrid/simgrid/trunk@7717
48e7efb5-ca39-0410-a469-
dd3cf9ba447f
CHECK_FUNCTION_EXISTS(asprintf HAVE_ASPRINTF)
CHECK_FUNCTION_EXISTS(vasprintf HAVE_VASPRINTF)
CHECK_FUNCTION_EXISTS(makecontext HAVE_MAKECONTEXT)
CHECK_FUNCTION_EXISTS(asprintf HAVE_ASPRINTF)
CHECK_FUNCTION_EXISTS(vasprintf HAVE_VASPRINTF)
CHECK_FUNCTION_EXISTS(makecontext HAVE_MAKECONTEXT)
+CHECK_FUNCTION_EXISTS(mmap HAVE_MMAP)
set(CONTEXT_UCONTEXT 0)
SET(CONTEXT_THREADS 0)
set(CONTEXT_UCONTEXT 0)
SET(CONTEXT_THREADS 0)
${PROJECT_DIRECTORY}/src/xbt/backtrace_windows.c
${PROJECT_DIRECTORY}/src/xbt/backtrace_dummy.c
${PROJECT_DIRECTORY}/src/xbt/setset_private.h
${PROJECT_DIRECTORY}/src/xbt/backtrace_windows.c
${PROJECT_DIRECTORY}/src/xbt/backtrace_dummy.c
${PROJECT_DIRECTORY}/src/xbt/setset_private.h
- ${PROJECT_DIRECTORY}/src/xbt/mmalloc/keys.c
- ${PROJECT_DIRECTORY}/src/xbt/mmalloc/mmalloc.c
- ${PROJECT_DIRECTORY}/src/xbt/mmalloc/mm.c
- ${PROJECT_DIRECTORY}/src/xbt/mmalloc/mmprivate.h
- ${PROJECT_DIRECTORY}/src/xbt/mmalloc/mrealloc.c
${PROJECT_DIRECTORY}/src/xbt/mmalloc/attach.c
${PROJECT_DIRECTORY}/src/xbt/mmalloc/attach.c
+ ${PROJECT_DIRECTORY}/src/xbt/mmalloc/detach.c
+ ${PROJECT_DIRECTORY}/src/xbt/mmalloc/keys.c
${PROJECT_DIRECTORY}/src/xbt/mmalloc/mcalloc.c
${PROJECT_DIRECTORY}/src/xbt/mmalloc/mcalloc.c
- ${PROJECT_DIRECTORY}/src/xbt/mmalloc/mmcheck.c
- ${PROJECT_DIRECTORY}/src/xbt/mmalloc/mmstats.c
- ${PROJECT_DIRECTORY}/src/xbt/mmalloc/mvalloc.c
- ${PROJECT_DIRECTORY}/src/xbt/mmalloc/detach.c
${PROJECT_DIRECTORY}/src/xbt/mmalloc/mfree.c
${PROJECT_DIRECTORY}/src/xbt/mmalloc/mfree.c
+ ${PROJECT_DIRECTORY}/src/xbt/mmalloc/mm_legacy.c
+ ${PROJECT_DIRECTORY}/src/xbt/mmalloc/mm.c
+ ${PROJECT_DIRECTORY}/src/xbt/mmalloc/mmalloc.c
${PROJECT_DIRECTORY}/src/xbt/mmalloc/mmap-sup.c
${PROJECT_DIRECTORY}/src/xbt/mmalloc/mmap-sup.c
+ ${PROJECT_DIRECTORY}/src/xbt/mmalloc/mmcheck.c
${PROJECT_DIRECTORY}/src/xbt/mmalloc/mmemalign.c
${PROJECT_DIRECTORY}/src/xbt/mmalloc/mmemalign.c
+ ${PROJECT_DIRECTORY}/src/xbt/mmalloc/mmprivate.h
+ ${PROJECT_DIRECTORY}/src/xbt/mmalloc/mmstats.c
${PROJECT_DIRECTORY}/src/xbt/mmalloc/mmtrace.c
${PROJECT_DIRECTORY}/src/xbt/mmalloc/mmtrace.c
- ${PROJECT_DIRECTORY}/src/xbt/mmalloc/sbrk-sup.c
+ ${PROJECT_DIRECTORY}/src/xbt/mmalloc/mrealloc.c
+ ${PROJECT_DIRECTORY}/src/xbt/mmalloc/mvalloc.c
+ ${PROJECT_DIRECTORY}/src/xbt/mmalloc/sbrk-sup.c
+ ${PROJECT_DIRECTORY}/src/xbt/mmalloc/test/mmalloc_test.c
${PROJECT_DIRECTORY}/src/surf/maxmin_private.h
${PROJECT_DIRECTORY}/src/surf/trace_mgr_private.h
${PROJECT_DIRECTORY}/src/surf/surf_private.h
${PROJECT_DIRECTORY}/src/surf/maxmin_private.h
${PROJECT_DIRECTORY}/src/surf/trace_mgr_private.h
${PROJECT_DIRECTORY}/src/surf/surf_private.h
${PROJECT_DIRECTORY}/src/include/xbt/wine_dbghelp.h
${PROJECT_DIRECTORY}/src/include/xbt/xbt_os_time.h
${PROJECT_DIRECTORY}/src/include/xbt/xbt_os_thread.h
${PROJECT_DIRECTORY}/src/include/xbt/wine_dbghelp.h
${PROJECT_DIRECTORY}/src/include/xbt/xbt_os_time.h
${PROJECT_DIRECTORY}/src/include/xbt/xbt_os_thread.h
+ ${PROJECT_DIRECTORY}/src/include/mc/datatypes.h
+ ${PROJECT_DIRECTORY}/src/include/mc/mc.h
+ ${PROJECT_DIRECTORY}/src/include/simix/simix.h
+ ${PROJECT_DIRECTORY}/src/include/simix/datatypes.h
+ ${PROJECT_DIRECTORY}/src/include/simix/context.h
${PROJECT_DIRECTORY}/src/msg/private.h
${PROJECT_DIRECTORY}/src/msg/mailbox.h
${PROJECT_DIRECTORY}/src/simdag/private.h
${PROJECT_DIRECTORY}/src/msg/private.h
${PROJECT_DIRECTORY}/src/msg/mailbox.h
${PROJECT_DIRECTORY}/src/simdag/private.h
${PROJECT_DIRECTORY}/src/gras/Transport/transport_interface.h
${PROJECT_DIRECTORY}/src/amok/Bandwidth/bandwidth_private.h
${PROJECT_DIRECTORY}/src/amok/amok_modinter.h
${PROJECT_DIRECTORY}/src/gras/Transport/transport_interface.h
${PROJECT_DIRECTORY}/src/amok/Bandwidth/bandwidth_private.h
${PROJECT_DIRECTORY}/src/amok/amok_modinter.h
- ${PROJECT_DIRECTORY}/src/include/simix/simix.h
- ${PROJECT_DIRECTORY}/src/include/simix/datatypes.h
- ${PROJECT_DIRECTORY}/src/include/simix/context.h
${PROJECT_DIRECTORY}/src/simix/private.h
${PROJECT_DIRECTORY}/src/simix/smx_context_private.h
${PROJECT_DIRECTORY}/src/simix/smx_context_java.h
${PROJECT_DIRECTORY}/src/simix/private.h
${PROJECT_DIRECTORY}/src/simix/smx_context_private.h
${PROJECT_DIRECTORY}/src/simix/smx_context_java.h
${PROJECT_DIRECTORY}/src/mc/mc_dfs.c
${PROJECT_DIRECTORY}/src/mc/mc_dpor.c
${PROJECT_DIRECTORY}/src/mc/mc_transition.c
${PROJECT_DIRECTORY}/src/mc/mc_dfs.c
${PROJECT_DIRECTORY}/src/mc/mc_dpor.c
${PROJECT_DIRECTORY}/src/mc/mc_transition.c
+ ${PROJECT_DIRECTORY}/src/mc/private.h
./include/xbt/synchro_core.h
./include/xbt/queue.h
./include/xbt/setset.h
./include/xbt/synchro_core.h
./include/xbt/queue.h
./include/xbt/setset.h
+./include/mc/modelchecker.h
./include/msg/msg.h
./include/msg/datatypes.h
./include/simdag/simdag.h
./include/msg/msg.h
./include/msg/datatypes.h
./include/simdag/simdag.h
${AMOK_SRC}
${LUA_SRC}
${RUBY_SRC}
${AMOK_SRC}
${LUA_SRC}
${RUBY_SRC}
${add_src_files}
${include_files}
${xml_files}
${tesh_files}
${txt_files}
${TEST_CFILES}
${add_src_files}
${include_files}
${xml_files}
${tesh_files}
${txt_files}
${TEST_CFILES}
${PROJECT_DIRECTORY}/./CMakeLists.txt
${PROJECT_DIRECTORY}/./AUTHORS
${PROJECT_DIRECTORY}/./ChangeLog
${PROJECT_DIRECTORY}/./CMakeLists.txt
${PROJECT_DIRECTORY}/./AUTHORS
${PROJECT_DIRECTORY}/./ChangeLog
COMMAND mkdir -p $ENV{DESTDIR}${prefix}/doc/simgrid/html
COMMAND mkdir -p $ENV{DESTDIR}${prefix}/include
COMMAND mkdir -p $ENV{DESTDIR}${prefix}/include/xbt
COMMAND mkdir -p $ENV{DESTDIR}${prefix}/doc/simgrid/html
COMMAND mkdir -p $ENV{DESTDIR}${prefix}/include
COMMAND mkdir -p $ENV{DESTDIR}${prefix}/include/xbt
+COMMAND mkdir -p $ENV{DESTDIR}${prefix}/include/mc
COMMAND mkdir -p $ENV{DESTDIR}${prefix}/include/msg
COMMAND mkdir -p $ENV{DESTDIR}${prefix}/include/simdag
COMMAND mkdir -p $ENV{DESTDIR}${prefix}/include/smpi
COMMAND mkdir -p $ENV{DESTDIR}${prefix}/include/msg
COMMAND mkdir -p $ENV{DESTDIR}${prefix}/include/simdag
COMMAND mkdir -p $ENV{DESTDIR}${prefix}/include/smpi
message("HAVE_VSNPRINTF ${HAVE_VSNPRINTF}")
message("HAVE_ASPRINTF ${HAVE_ASPRINTF}")
message("HAVE_VASPRINTF ${HAVE_VASPRINTF}")
message("HAVE_VSNPRINTF ${HAVE_VSNPRINTF}")
message("HAVE_ASPRINTF ${HAVE_ASPRINTF}")
message("HAVE_VASPRINTF ${HAVE_VASPRINTF}")
+ message("HAVE_MMAP ${HAVE_MMAP}")
message("")
message("RUBY_EXE : ${RUBY_EXECUTABLE}")
message("")
message("RUBY_EXE : ${RUBY_EXECUTABLE}")
/* Define to 1 if you have the <execinfo.h> header file. */
#cmakedefine HAVE_EXECINFO_H @HAVE_EXECINFO_H@
/* Define to 1 if you have the <execinfo.h> header file. */
#cmakedefine HAVE_EXECINFO_H @HAVE_EXECINFO_H@
+/* Define to 1 if you have the `mmap' function. */
+#cmakedefine HAVE_MMAP @HAVE_MMAP@
+
/* Define to 1 if you have the `getdtablesize' function. */
#cmakedefine HAVE_GETDTABLESIZE @HAVE_GETDTABLESIZE@
/* Define to 1 if you have the `getdtablesize' function. */
#cmakedefine HAVE_GETDTABLESIZE @HAVE_GETDTABLESIZE@
cmake_minimum_required(VERSION 2.6)
cmake_minimum_required(VERSION 2.6)
-set(EXECUTABLE_OUTPUT_PATH "${PROJECT_DIRECTORY}/examples/msg/actions/")
+set(EXECUTABLE_OUTPUT_PATH "${PROJECT_DIRECTORY}/examples/msg/mc/")
add_executable(centralized centralized_mutex.c)
add_executable(bugged1 bugged1.c)
add_executable(centralized centralized_mutex.c)
add_executable(bugged1 bugged1.c)