X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/f2e6d1720c871dfec7d3ba04e8e0189337f8dd3d..0919d8db97a1523569db94bd901cebea896ff711:/buildtools/Cmake/src/CMakeDefinePackages.txt

diff --git a/buildtools/Cmake/src/CMakeDefinePackages.txt b/buildtools/Cmake/src/CMakeDefinePackages.txt
index 16b99ee087..a4c6ac7cb7 100755
--- a/buildtools/Cmake/src/CMakeDefinePackages.txt
+++ b/buildtools/Cmake/src/CMakeDefinePackages.txt
@@ -17,6 +17,24 @@ set(EXTRA_DIST
 	${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/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/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/mmcheck.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/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
@@ -41,6 +59,11 @@ set(EXTRA_DIST
 	${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
@@ -57,9 +80,6 @@ set(EXTRA_DIST
 	${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
@@ -175,6 +195,7 @@ set(XBT_SRC
 	${PROJECT_DIRECTORY}/src/xbt/cunit.c
 	${PROJECT_DIRECTORY}/src/xbt/graphxml_parse.c
 	${PROJECT_DIRECTORY}/src/xbt/setset.c
+	${PROJECT_DIRECTORY}/src/xbt/mmalloc/mm.c
 )
 
 set(GTNETS_SRC 
@@ -310,6 +331,17 @@ ${PROJECT_DIRECTORY}/src/bindings/ruby/rb_msg_task.c
 ${PROJECT_DIRECTORY}/src/bindings/ruby/rb_application_handler.c
 )
 
+set(MC_SRC
+	${PROJECT_DIRECTORY}/src/mc/mc_memory.c
+	${PROJECT_DIRECTORY}/src/mc/mc_checkpoint.c
+	${PROJECT_DIRECTORY}/src/mc/memory_map.c
+	${PROJECT_DIRECTORY}/src/mc/mc_global.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
+)
+
 set(install_bins
 ${PROJECT_DIRECTORY}/src/smpi/smpicc
 ${PROJECT_DIRECTORY}/src/smpi/smpirun
@@ -317,19 +349,6 @@ ${PROJECT_DIRECTORY}/tools/gras/gras_stub_generator
 ${PROJECT_DIRECTORY}/tools/tesh/tesh
 )
 
-set(install_libs
-${PROJECT_DIRECTORY}/src/.libs/libsimgrid.*
-${PROJECT_DIRECTORY}/src/.libs/libsimgrid_static.*
-${PROJECT_DIRECTORY}/src/.libs/libgras.*
-)
-
-if(enable_smpi)
-	set(install_libs
-	${install_libs}
-	${PROJECT_DIRECTORY}/src/.libs/libsmpi.*
-	)
-endif(enable_smpi)
-
 set(install_HEADERS
 ./include/gras.h 
 ./include/xbt.h
@@ -364,6 +383,8 @@ set(install_HEADERS
 ./include/xbt/synchro_core.h
 ./include/xbt/queue.h
 ./include/xbt/setset.h
+./include/xbt/mmalloc.h
+./include/mc/modelchecker.h
 ./include/msg/msg.h
 ./include/msg/datatypes.h
 ./include/simdag/simdag.h
@@ -492,6 +513,7 @@ set(simgrid_sources
 	${GRAS_COMMON_SRC}
 	${GRAS_SG_SRC}
 	${AMOK_SRC}
+	${MC_SRC}
 )
 
 ### Gras Lib sources
@@ -699,12 +721,14 @@ set(to_svg
 	${AMOK_SRC}
 	${LUA_SRC}
 	${RUBY_SRC}
+	${MC_SRC}
 	${add_src_files}
 	${include_files}
 	${xml_files}
 	${tesh_files}
 	${txt_files}
 	${TEST_CFILES}
+	${EXTRA_DIST} 
 	${PROJECT_DIRECTORY}/./CMakeLists.txt
 	${PROJECT_DIRECTORY}/./AUTHORS
 	${PROJECT_DIRECTORY}/./ChangeLog