Install the libraries carefully so that we have a link from .so to .so.version

[simgrid.git] / buildtools / Cmake / src / CMakeDefinePackages.txt

diff --git a/buildtools/Cmake/src/CMakeDefinePackages.txt b/buildtools/Cmake/src/CMakeDefinePackages.txt
index abbaad6..a4c6ac7 100755 (executable)
--- 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