X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/30c845d3e7ecd846a778f91fd12c61db681de5e3..826bafb3e399d251901b9c3f2ebf1c2911e202fd:/buildtools/Cmake/src/CMakeDefinePackages.txt

diff --git a/buildtools/Cmake/src/CMakeDefinePackages.txt b/buildtools/Cmake/src/CMakeDefinePackages.txt
index abbaad609e..c0776fded9 100755
--- a/buildtools/Cmake/src/CMakeDefinePackages.txt
+++ b/buildtools/Cmake/src/CMakeDefinePackages.txt
@@ -16,6 +16,25 @@ set(EXTRA_DIST
 	${PROJECT_DIRECTORY}/src/xbt/backtrace_linux.c
 	${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
@@ -40,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
@@ -56,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
@@ -173,6 +194,8 @@ set(XBT_SRC
 	${PROJECT_DIRECTORY}/src/xbt/config.c
 	${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 
@@ -308,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
@@ -315,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
@@ -361,6 +382,9 @@ set(install_HEADERS
 ./include/xbt/synchro.h
 ./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
@@ -489,6 +513,7 @@ set(simgrid_sources
 	${GRAS_COMMON_SRC}
 	${GRAS_SG_SRC}
 	${AMOK_SRC}
+	${MC_SRC}
 )
 
 ### Gras Lib sources
@@ -696,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
@@ -754,16 +781,16 @@ set(to_svg
 set(script_to_install
 	${PROJECT_DIRECTORY}/./src/smpi/smpicc
 	${PROJECT_DIRECTORY}/./src/smpi/smpirun
-	${PROJECT_DIRECTORY}/./tools/sg_unit_extractor.pl
-	${PROJECT_DIRECTORY}/./tools/doxygen/index_create.pl
-	${PROJECT_DIRECTORY}/./tools/doxygen/toc_create.pl
-	${PROJECT_DIRECTORY}/./tools/doxygen/index_php.pl
-	${PROJECT_DIRECTORY}/./tools/doxygen/doxygen_postprocesser.pl
-	${PROJECT_DIRECTORY}/./tools/doxygen/bibtex2html_table_count.pl
-	${PROJECT_DIRECTORY}/./tools/doxygen/bibtex2html_postprocessor.pl
-	${PROJECT_DIRECTORY}/./tools/doxygen/xbt_log_extract_hierarchy.pl
 	${PROJECT_DIRECTORY}/./tools/MSG_visualization/colorize.pl
-	${PROJECT_DIRECTORY}/./tools/MSG_visualization/trace2fig.pl
 )
+#	${PROJECT_DIRECTORY}/./tools/sg_unit_extractor.pl
+#	${PROJECT_DIRECTORY}/./tools/doxygen/index_create.pl
+#	${PROJECT_DIRECTORY}/./tools/doxygen/toc_create.pl
+#	${PROJECT_DIRECTORY}/./tools/doxygen/index_php.pl
+#	${PROJECT_DIRECTORY}/./tools/doxygen/doxygen_postprocesser.pl
+#	${PROJECT_DIRECTORY}/./tools/doxygen/bibtex2html_table_count.pl
+#	${PROJECT_DIRECTORY}/./tools/doxygen/bibtex2html_postprocessor.pl
+#	${PROJECT_DIRECTORY}/./tools/doxygen/xbt_log_extract_hierarchy.pl
+#	${PROJECT_DIRECTORY}/./tools/MSG_visualization/trace2fig.pl
 
 #message("\n\ntesh:\n${txt_files}")