Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
model-checker : remove clone file
[simgrid.git] / buildtools / Cmake / DefinePackages.cmake
index 9efdaf8..09eb990 100644 (file)
@@ -16,24 +16,18 @@ set(EXTRA_DIST
        src/xbt/backtrace_windows.c
        src/xbt/backtrace_dummy.c
        src/xbt/setset_private.h
-       src/xbt/automatonparse_promela.c
-       src/xbt/mmalloc/attach.c
-       src/xbt/mmalloc/detach.c        
-       src/xbt/mmalloc/keys.c
-       src/xbt/mmalloc/mcalloc.c
        src/xbt/mmalloc/mfree.c
-       src/xbt/mmalloc/mm_legacy.c             
-       src/xbt/mmalloc/mm.c
        src/xbt/mmalloc/mmalloc.c
-       src/xbt/mmalloc/mmap-sup.c
-       src/xbt/mmalloc/mmcheck.c
-       src/xbt/mmalloc/mmemalign.c
-       src/xbt/mmalloc/mmprivate.h
-       src/xbt/mmalloc/mmstats.c
-       src/xbt/mmalloc/mmtrace.c
-       src/xbt/mmalloc/mrealloc.c
-       src/xbt/mmalloc/mvalloc.c
-       src/xbt/mmalloc/sbrk-sup.c
+       src/xbt/mmalloc/mmalloc.info
+       src/xbt/mmalloc/mmalloc.texi
+       src/xbt/mmalloc/mm.c
+    src/xbt/mmalloc/mm_diff.c
+       src/xbt/mmalloc/mm_legacy.c
+       src/xbt/mmalloc/mm_module.c
+       src/xbt/mmalloc/mmorecore.c
+       src/xbt/mmalloc/mmprivate.h             
+       src/xbt/mmalloc/mmtrace.awk
+       src/xbt/mmalloc/mrealloc.c      
        src/xbt/mmalloc/test/mmalloc_test.c
        src/xbt/datadesc/ddt_parse.yy.l
        src/xbt/datadesc/ddt_parse.yy.h
@@ -62,10 +56,8 @@ set(EXTRA_DIST
        src/include/surf/surf_resource_lmm.h
        src/include/xbt/wine_dbghelp.h
        src/include/xbt/xbt_os_time.h
-       src/include/xbt/xbt_os_thread.h
        src/include/mc/datatypes.h
        src/include/mc/mc.h
-       src/include/simix/context.h
        src/msg/msg_private.h
        src/msg/msg_mailbox.h
        src/simdag/private.h
@@ -92,9 +84,6 @@ set(EXTRA_DIST
        src/smpi/README
        src/mk_supernovae.pl
        
-       examples/gras/ping/ping.h
-       examples/gras/console/ping.h
-       examples/gras/mmrpc/mmrpc.h
 
        tools/gras/gras_stub_generator.h
        tools/tesh/run_context.h  
@@ -178,9 +167,12 @@ set(XBT_SRC
        src/xbt/graphxml_parse.c
        src/xbt/setset.c
        src/xbt/parmap.c
-       src/xbt/xbt_replay_trace_reader.c
+       src/xbt/xbt_replay.c
        src/xbt/lib.c
-       src/xbt/automaton.c
+       src/xbt/automaton/automaton.c
+       src/xbt/automaton/automatonparse_promela.c
+       src/xbt/automaton/automaton.c
+       src/xbt/automaton/automaton_create.c
        src/xbt/datadesc/ddt_create.c
        src/xbt/datadesc/ddt_convert.c
        src/xbt/datadesc/ddt_exchange.c
@@ -193,6 +185,7 @@ set(XBT_SRC
        src/xbt/xbt_socket.c
        src/xbt/xbt_socket_private.h
        src/xbt/xbt_trp_plugin_tcp.c
+       src/xbt/RngStream.c
 )
 
 if(HAVE_MMAP)
@@ -277,6 +270,7 @@ set(MSG_SRC
        src/msg/msg_deployment.c
        src/msg/msg_mailbox.c
        src/msg/msg_actions.c
+       src/msg/msg_vm.c
 )
 
 set(SIMDAG_SRC
@@ -330,16 +324,29 @@ set(AMOK_SRC
        src/amok/PeerManagement/peermanagement.c
 )
 
+set(BINDINGS_SRC
+       src/bindings/bindings_global.c
+)
+
 set(LUA_SRC
-       src/bindings/lua/simgrid_lua.c
-       src/bindings/lua/lua_task.c
-       src/bindings/lua/lua_comm.c
-       src/bindings/lua/lua_host.c
-       src/bindings/lua/lua_process.c
-       src/bindings/lua/lua_platf.c
-        src/bindings/lua/lua_utils.c
-        src/bindings/lua/lua_state_cloner.c
-       src/bindings/lua/lua_stub_generator.c
+  src/bindings/lua/simgrid_lua.c
+  src/bindings/lua/lua_task.c
+  src/bindings/lua/lua_comm.c
+  src/bindings/lua/lua_host.c
+  src/bindings/lua/lua_process.c
+  src/bindings/lua/lua_platf.c
+  src/bindings/lua/lua_utils.c
+  src/bindings/lua/lua_state_cloner.c
+  src/bindings/lua/lua_stub_generator.c
+)
+
+set(BINDINGS_FILES
+  ${LUA_SRC}
+  src/bindings/lua/simgrid_lua.h
+  src/bindings/lua/lua_utils.h
+  src/bindings/lua/lua_state_cloner.h
+  src/bindings/lua/lua_private.h
+  src/bindings/bindings_global.c
 )
 
 set(TRACING_SRC
@@ -354,7 +361,6 @@ set(TRACING_SRC
        src/instr/instr_msg_process.c
        src/instr/instr_surf.c
        src/instr/instr_smpi.c
-       src/instr/instr_simdag.c
        src/instr/instr_resource_utilization.c
        src/instr/instr_private.h
 )
@@ -383,11 +389,6 @@ set(MC_SRC
        src/mc/mc_liveness.c
 )
 
-set(RNGSTREAM_SRC
-       src/rngstreams/RngStream.h
-       src/rngstreams/RngStream.c
-)
-
 set(headers_to_install
        include/xbt/misc.h
        include/xbt/sysdep.h
@@ -397,6 +398,8 @@ set(headers_to_install
        include/xbt/hash.h
        include/xbt/function_types.h
        include/xbt/asserts.h 
+       include/xbt/automaton.h
+       include/xbt/automatonparse_promela.h
        include/xbt/ex.h
        include/xbt/log.h
        include/xbt/module.h
@@ -421,14 +424,16 @@ set(headers_to_install
        include/xbt/queue.h
        include/xbt/setset.h
        include/xbt/mmalloc.h
-       include/xbt/replay_trace_reader.h
+       include/xbt/replay.h
        include/xbt/parmap.h
-       include/xbt/automaton.h
-       include/xbt/automatonparse_promela.h
        include/xbt/datadesc.h
        include/xbt/socket.h
+       include/xbt/file_stat.h
+       include/xbt/xbt_os_thread.h
+    include/xbt/RngStream.h
        include/simgrid/platf.h
        include/simgrid/modelchecker.h
+       include/simgrid/simix.h
        include/msg/msg.h
        include/msg/datatypes.h
        include/simdag/simdag.h
@@ -452,9 +457,6 @@ set(headers_to_install
        include/instr/instr.h
        include/gras.h 
        include/xbt.h
-       include/simix/simix.h
-       include/simix/datatypes.h
-       include/simix/context.h
 )
 set(source_of_generated_headers
        include/simgrid_config.h.in
@@ -514,8 +516,8 @@ set(simgrid_sources
        ${GRAS_COMMON_SRC}
        ${GRAS_SG_SRC}
        ${AMOK_SRC}
+       ${BINDINGS_SRC}
        ${JEDULE_SRC}
-       ${RNGSTREAM_SRC}
 )
 
 if(HAVE_MC)
@@ -561,20 +563,6 @@ elseif(${HAVE_LUA})
                ${LUA_SRC}
        )
 endif(${HAVE_LUA})
-
-file(GLOB_RECURSE examples_to_install_in_doc
-"examples/*.c"
-"examples/*.h"
-"examples/*.cxx"
-"examples/*.hpp"
-"examples/*.rb"
-"examples/*.lua"
-"examples/*.java"
-"examples/*.xml"
-"examples/*README"
-)
-
-
     
 set(DOC_SOURCES
        doc/install.doc
@@ -609,6 +597,7 @@ set(DOC_SOURCES
        
        #doc/index-API.doc
        doc/index.doc
+       ${CMAKE_HOME_DIRECTORY}/doc/logcategories.doc
        doc/module-amok.doc
        doc/module-gras.doc
        doc/module-msg.doc
@@ -656,7 +645,7 @@ set(DOC_SOURCES
        doc/webcruft/Paje_MSG_screenshot.jpg
        doc/webcruft/Paje_MSG_screenshot_thn.jpg
        doc/webcruft/poster_thumbnail.png
-       doc/webcruft/simgrid_logo.png
+       doc/webcruft/simgrid_logo_2011.png
        doc/webcruft/simgrid_logo_small.png
        doc/triva-graph_configuration.png
        doc/triva-graph_visualization.png
@@ -681,194 +670,166 @@ set(DOC_FIGS
        ${CMAKE_HOME_DIRECTORY}/doc/fig/gras_comm.fig
 )
 
-file(GLOB_RECURSE add_src_files
-"teshsuite/*.c"
-"teshsuite/*.cxx"
-"teshsuite/*CMakeLists.txt"
-"testsuite/*.c"
-"testsuite/*.cxx"
-"testsuite/*CMakeLists.txt"
-"tools/*.c"
-"tools/*.cxx"
-"tools/*CMakeLists.txt"
-"examples/*.c"
-"examples/*.cxx"
-"examples/*.lua"
-"examples/*.rb"
-"examples/*CMakeLists.txt"
-"src/bindings/*.lua"
-"src/bindings/*.rb"
-"src/bindings/*.c"
-"src/bindings/*.h"
-"src/bindings/*CMakeLists.txt"
-)
-set(add_src_files
-       ${add_src_files}
-        CMakeLists.txt
+set(bin_files
+       ${bin_files}
        src/smpi/smpicc.in
        src/smpi/smpif2c.in
        src/smpi/smpiff.in
        src/smpi/smpirun.in
 )
 
-file(GLOB_RECURSE xml_files
-"examples/*.xml"
-"include/*.xml"
-"src/*.xml"
-"teshsuite/*.xml"
-"testsuite/*.xml"
-"tools/*.xml"
-)
-
-file(GLOB_RECURSE tesh_files
-"examples/*.tesh"
-"include/*.tesh"
-"src/*.tesh"
-"teshsuite/*.tesh"
-"testsuite/*.tesh"
-"tools/*.tesh"
-)
-
-set(txt_files
-"testsuite/surf/trace_A_failure.txt"
-"testsuite/surf/trace_A.txt"
-"testsuite/surf/trace_B.txt"
-"examples/smpi/hostfile"
-"examples/msg/link5_state.trace"
-"examples/msg/fafard_state.trace"
-"examples/msg/jupiter_state.trace"
-"examples/msg/actions/actions_allReduce.txt"
-"examples/msg/actions/actions_reduce.txt"
-"examples/msg/actions/actions.txt"
-"examples/msg/actions/actions_barrier.txt"
-"examples/msg/actions/actions_split_p0.txt"
-"examples/msg/actions/actions_with_isend.txt"
-"examples/msg/actions/actions_bcast.txt"
-"examples/msg/actions/actions_split_p1.txt"
-"examples/msg/actions/CMakeLists.txt"
-"examples/msg/migration/migration.deploy"
-"teshsuite/gras/datadesc/datadesc.little32_4"
-"teshsuite/gras/datadesc/datadesc.little64"
-"teshsuite/gras/datadesc/datadesc.big32_8_4"
-"teshsuite/gras/datadesc/mk_datadesc_structs.pl"
-"teshsuite/gras/msg_handle/test_rl.tesh"
-"teshsuite/gras/msg_handle/test_sg_32.tesh"
-"teshsuite/gras/msg_handle/test_sg_64.tesh"
-"teshsuite/gras/empty_main/test_rl.tesh"
-"teshsuite/gras/empty_main/test_sg.tesh"
-"teshsuite/gras/small_sleep/test_sg_32.tesh"
-"teshsuite/gras/small_sleep/test_sg_64.tesh"
-"teshsuite/msg/trace/file.trace"
-"teshsuite/simdag/platforms/bob.fail"
-"teshsuite/simdag/platforms/bob.trace"
-"teshsuite/simdag/platforms/bob0_availability_file.trace"
-"teshsuite/simdag/platforms/bob0_state_file.trace"
-"teshsuite/simdag/platforms/bob2_availability_file.trace"
-"teshsuite/simdag/platforms/bob2_state_file.trace"
-"teshsuite/simdag/platforms/link1.bw"
-"teshsuite/simdag/platforms/link1.fail"
-"teshsuite/simdag/platforms/link1.lat"
-"examples/gras/ping/test_rl.tesh"
-"examples/gras/rpc/test_rl.tesh"
-"examples/gras/spawn/test_rl.tesh"
-"examples/gras/timer/test_rl.tesh"
-"examples/gras/chrono/test_rl.tesh"
-"examples/gras/mutual_exclusion/simple_token/test_rl.tesh"
-"examples/gras/mmrpc/test_rl.tesh"
-"examples/gras/all2all/test_rl.tesh"
-"examples/gras/pmm/test_rl.tesh"
-"examples/gras/synchro/test_rl.tesh"
-"examples/gras/properties/test_rl.tesh"
-"examples/gras/ping/test_sg_32.tesh"
-"examples/gras/rpc/test_sg_32.tesh"
-"examples/gras/spawn/test_sg_32.tesh"
-"examples/gras/timer/test_sg_32.tesh"
-"examples/gras/chrono/test_sg_32.tesh"
-"examples/gras/mutual_exclusion/simple_token/test_sg_32.tesh"
-"examples/gras/mmrpc/test_sg_32.tesh"
-"examples/gras/all2all/test_sg_32.tesh"
-"examples/gras/pmm/test_sg_32.tesh"
-"examples/gras/synchro/test_sg_32.tesh"
-"examples/gras/ping/test_sg_64.tesh"
-"examples/gras/rpc/test_sg_64.tesh"
-"examples/gras/spawn/test_sg_64.tesh"
-"examples/gras/timer/test_sg_64.tesh"
-"examples/gras/chrono/test_sg_64.tesh"
-"examples/gras/mutual_exclusion/simple_token/test_sg_64.tesh"
-"examples/gras/mmrpc/test_sg_64.tesh"
-"examples/gras/all2all/test_sg_64.tesh"
-"examples/gras/pmm/test_sg_64.tesh"
-"examples/gras/synchro/test_sg_64.tesh"
-"examples/gras/properties/test_sg.tesh"
-)
-
 set(txt_files
-       ${txt_files}
-       AUTHORS
-       ChangeLog
-       COPYING
-       LICENSE-LGPL-2.1
-       NEWS
-       TODO
-       configure
-       INSTALL
-)
-
-file(GLOB_RECURSE README_files
-"*README"
-)
-       
-string(REPLACE "${CMAKE_HOME_DIRECTORY}/" "" README_files "${README_files}")
-
-file(GLOB_RECURSE CMAKE_SOURCE_FILES
-"buildtools/Cmake/Makefile.default"
-"buildtools/Cmake/test_java.sh"
-"buildtools/Cmake/*.cmake"
-"buildtools/Cmake/*.h.in"
-"buildtools/Cmake/*.pl"
-"buildtools/Cmake/*.sh"
-"buildtools/Cmake/test_prog/*.c"
-"buildtools/Cmake/test_prog/*.cpp"
-)
-
-set(bin_files
-tools/MSG_visualization/colorize.pl
-tools/sg_unit_extractor.pl
-tools/simgrid_update_xml.pl
-buildtools/Cmake/tesh.pl
-)
-
-# This is the complete list of what will be added to the source archive
-set(source_to_pack     
-       ${headers_to_install}
-       ${source_of_generated_headers}
-       ${XBT_RL_SRC}
-       ${EXTRA_DIST}
-       ${SMPI_SRC}
-       ${GRAS_RL_SRC}
-       ${XBT_SRC}
-       ${GTNETS_SRC}
-       ${NS3_SRC}
-       ${SURF_SRC}
-       ${SIMIX_SRC}
-       ${TRACING_SRC}
-       ${MSG_SRC}
-       ${SIMDAG_SRC}
-       ${GRAS_COMMON_SRC}
-       ${GRAS_SG_SRC}
-       ${AMOK_SRC}
-       ${LUA_SRC}
-       ${MC_SRC}
-       ${JEDULE_SRC}
-       ${RNGSTREAM_SRC}
-       ${add_src_files}
-       ${xml_files}
-       ${tesh_files}
-       ${txt_files}
-       ${CMAKE_SOURCE_FILES}
-       ${bin_files}
-       ${DOC_SOURCES}
-       ${DOC_FIGS}
-       ${README_files}
-       buildtools/Cmake/simgrid.nsi.in 
+${txt_files}
+  "testsuite/surf/trace_A_failure.txt"
+  "testsuite/surf/trace_A.txt"
+  "testsuite/surf/trace_B.txt"
+  AUTHORS
+  ChangeLog
+  COPYING
+  LICENSE-LGPL-2.1
+  NEWS
+  TODO
+  configure
+  INSTALL
+)
+
+set(EXAMPLES_CMAKEFILES_TXT
+examples/smpi/CMakeLists.txt
+examples/amok/saturate/CMakeLists.txt
+examples/amok/bandwidth/CMakeLists.txt
+examples/simdag/dot/CMakeLists.txt
+examples/simdag/goal/CMakeLists.txt
+examples/simdag/properties/CMakeLists.txt
+examples/simdag/scheduling/CMakeLists.txt
+examples/simdag/metaxml/CMakeLists.txt
+examples/simdag/dax/CMakeLists.txt
+examples/simdag/CMakeLists.txt
+examples/msg/gpu/CMakeLists.txt
+examples/msg/pmm/CMakeLists.txt
+examples/msg/migration/CMakeLists.txt
+examples/msg/properties/CMakeLists.txt
+examples/msg/mc/CMakeLists.txt
+examples/msg/masterslave/CMakeLists.txt
+examples/msg/chord/CMakeLists.txt
+examples/msg/suspend/CMakeLists.txt
+examples/msg/actions/CMakeLists.txt
+examples/msg/io/CMakeLists.txt
+examples/msg/sendrecv/CMakeLists.txt
+examples/msg/start_kill_time/CMakeLists.txt
+examples/msg/parallel_task/CMakeLists.txt
+examples/msg/priority/CMakeLists.txt
+examples/msg/cloud/CMakeLists.txt
+examples/msg/gtnets/CMakeLists.txt
+examples/msg/icomms/CMakeLists.txt
+examples/msg/tracing/CMakeLists.txt
+examples/msg/ns3/CMakeLists.txt
+examples/msg/token_ring/CMakeLists.txt
+examples/gras/mutual_exclusion/simple_token/CMakeLists.txt
+examples/gras/ping/CMakeLists.txt
+examples/gras/pmm/CMakeLists.txt
+examples/gras/properties/CMakeLists.txt
+examples/gras/rpc/CMakeLists.txt
+examples/gras/chrono/CMakeLists.txt
+examples/gras/timer/CMakeLists.txt
+examples/gras/mmrpc/CMakeLists.txt
+examples/gras/all2all/CMakeLists.txt
+examples/gras/synchro/CMakeLists.txt
+examples/gras/console/CMakeLists.txt
+examples/gras/spawn/CMakeLists.txt
+examples/lua/CMakeLists.txt
+examples/msg/CMakeLists.txt
+examples/xbt/CMakeLists.txt
+)
+
+set(TESHSUITE_CMAKEFILES_TXT
+teshsuite/xbt/CMakeLists.txt
+teshsuite/simdag/network/p2p/CMakeLists.txt
+teshsuite/simdag/network/mxn/CMakeLists.txt
+teshsuite/simdag/network/CMakeLists.txt
+teshsuite/simdag/platforms/CMakeLists.txt
+teshsuite/simdag/partask/CMakeLists.txt
+teshsuite/simdag/CMakeLists.txt
+teshsuite/msg/trace/CMakeLists.txt
+teshsuite/msg/CMakeLists.txt
+teshsuite/gras/small_sleep/CMakeLists.txt
+teshsuite/gras/empty_main/CMakeLists.txt
+teshsuite/gras/msg_handle/CMakeLists.txt
+teshsuite/gras/datadesc/CMakeLists.txt
+teshsuite/CMakeLists.txt
+teshsuite/gras/CMakeLists.txt
+)
+
+set(TOOLS_CMAKEFILES_TXT
+tools/tesh/CMakeLists.txt
+tools/graphicator/CMakeLists.txt
+tools/CMakeLists.txt
+tools/gras/CMakeLists.txt
+)
+
+set(TESTSUITE_CMAKEFILES_TXT
+testsuite/surf/CMakeLists.txt
+testsuite/xbt/CMakeLists.txt
+)
+
+set(CMAKE_SOURCE_FILES
+buildtools/Cmake/CTestConfig.cmake
+buildtools/Cmake/UnitTesting.cmake
+buildtools/Cmake/AddTests.cmake
+buildtools/Cmake/Option.cmake
+buildtools/Cmake/memcheck_tests.cmake
+buildtools/Cmake/MakeLibWin.cmake
+buildtools/Cmake/Flags.cmake
+buildtools/Cmake/DefinePackages.cmake
+buildtools/Cmake/CompleteInFiles.cmake
+buildtools/Cmake/Scripts/SimGrid.packproj
+buildtools/Cmake/Scripts/update_tesh.pl
+buildtools/Cmake/Scripts/test_java.sh
+buildtools/Cmake/Scripts/my_valgrind.pl
+buildtools/Cmake/Scripts/tesh.pl
+buildtools/Cmake/Scripts/Makefile.default
+buildtools/Cmake/Scripts/preinstall.sh
+buildtools/Cmake/Scripts/Diff.pm
+buildtools/Cmake/Scripts/generate_new_tests.pl
+buildtools/Cmake/Scripts/postinstall.sh
+buildtools/Cmake/Scripts/generate_memcheck_tests.pl
+buildtools/Cmake/MaintainerMode.cmake
+buildtools/Cmake/Supernovae.cmake
+buildtools/Cmake/Pipol.cmake
+buildtools/Cmake/GenerateDoc.cmake
+buildtools/Cmake/test_prog/prog_getline.c
+buildtools/Cmake/test_prog/prog_mutex_timedlock.c
+buildtools/Cmake/test_prog/prog_gtnets.cpp
+buildtools/Cmake/test_prog/prog_GRAS_ARCH.c
+buildtools/Cmake/test_prog/prog_printf_null.c
+buildtools/Cmake/test_prog/prog_sem_timedwait.c
+buildtools/Cmake/test_prog/prog_va_copy.c
+buildtools/Cmake/test_prog/prog_thread_storage.c
+buildtools/Cmake/test_prog/prog_AC_CHECK_MCSC.c
+buildtools/Cmake/test_prog/prog_stacksetup.c
+buildtools/Cmake/test_prog/prog_snprintf.c
+buildtools/Cmake/test_prog/prog_GRAS_CHECK_STRUCT_COMPACTION.c
+buildtools/Cmake/test_prog/prog_sem_init.c
+buildtools/Cmake/test_prog/prog_sem_open.c
+buildtools/Cmake/test_prog/prog_stackgrowth.c
+buildtools/Cmake/test_prog/prog_max_size.c
+buildtools/Cmake/test_prog/prog_vsnprintf.c
+buildtools/Cmake/Modules/FindRubySimgrid.cmake
+buildtools/Cmake/Modules/FindF2c.cmake
+buildtools/Cmake/Modules/FindPCRE.cmake
+buildtools/Cmake/Modules/FindPcreWin.cmake
+buildtools/Cmake/Modules/FindGTnets.cmake
+buildtools/Cmake/Modules/FindNS3.cmake
+buildtools/Cmake/Modules/FindSimGrid.cmake
+buildtools/Cmake/Modules/FindLua51Simgrid.cmake
+buildtools/Cmake/Modules/FindGraphviz.cmake
+buildtools/Cmake/Modules/FindValgrind.cmake
+buildtools/Cmake/Modules/FindRngStream.cmake
+buildtools/Cmake/GenerateDocWin.cmake
+buildtools/Cmake/MakeExe.cmake
+buildtools/Cmake/PrintArgs.cmake
+buildtools/Cmake/MakeLib.cmake
+buildtools/Cmake/Distrib.cmake
+buildtools/Cmake/src/gras_config.h.in
+buildtools/Cmake/src/simgrid.nsi.in
+CMakeLists.txt
 )