Remove dead entries in 'docs/find-missing.ignore'.

[simgrid.git] / tools / cmake / DefinePackages.cmake

diff --git a/tools/cmake/DefinePackages.cmake b/tools/cmake/DefinePackages.cmake
index d9e4f77..aaa97b2 100644 (file)
--- a/tools/cmake/DefinePackages.cmake
+++ b/tools/cmake/DefinePackages.cmake
@@ -10,6 +10,7 @@ set(EXTRA_DIST
   src/include/xbt/coverage.h
   src/include/xbt/parmap.hpp
   src/include/xbt/mmalloc.h
+  src/include/xbt/xbt_modinter.h
   src/include/catch.hpp
   src/include/xxhash.hpp
   src/mc/mc_mmu.hpp
@@ -40,6 +41,9 @@ set(EXTRA_DIST
   src/surf/network_cm02.hpp
   src/surf/network_constant.hpp
   src/surf/network_interface.hpp
+  src/surf/LinkImpl.hpp
+  src/surf/LinkImplIntf.hpp
+  src/surf/SplitDuplexLinkImpl.hpp
   src/surf/network_ns3.hpp
   src/surf/network_smpi.hpp
   src/surf/network_ib.hpp
@@ -79,7 +83,6 @@ set(EXTRA_DIST
   tools/lualib.patch
   teshsuite/lua/lua_platforms.tesh
   examples/smpi/mc/only_send_deterministic.tesh
-  examples/smpi/mc/non_deterministic.tesh
   )
 
 set(SMPI_SRC
@@ -290,7 +293,6 @@ set(XBT_SRC
   src/xbt/xbt_replay.cpp
   src/xbt/xbt_str.cpp
   src/xbt/xbt_virtu.cpp
-  src/xbt_modinter.h
   )
 
 if(HAVE_MMALLOC)
@@ -309,7 +311,6 @@ set(SURF_SRC
 
   src/kernel/resource/Action.cpp
   src/kernel/resource/Model.cpp
-  src/kernel/resource/Resource.cpp
   src/kernel/resource/DiskImpl.cpp
   src/kernel/resource/DiskImpl.hpp
 
@@ -332,11 +333,14 @@ set(SURF_SRC
   src/kernel/routing/FullZone.cpp
   src/kernel/routing/NetPoint.cpp
   src/kernel/routing/NetZoneImpl.cpp
-  src/kernel/routing/TorusZone.cpp
   src/kernel/routing/RoutedZone.cpp
+  src/kernel/routing/StarZone.cpp
+  src/kernel/routing/TorusZone.cpp
   src/kernel/routing/VivaldiZone.cpp
   src/kernel/routing/WifiZone.cpp
 
+  src/kernel/timer/Timer.cpp
+
   src/kernel/EngineImpl.cpp
   src/kernel/EngineImpl.hpp
 
@@ -347,6 +351,8 @@ set(SURF_SRC
   src/surf/network_cm02.cpp
   src/surf/network_constant.cpp
   src/surf/network_interface.cpp
+  src/surf/LinkImpl.cpp
+  src/surf/SplitDuplexLinkImpl.cpp
   src/surf/network_wifi.cpp
   src/surf/sg_platf.cpp
   src/surf/surf_c_bindings.cpp
@@ -361,6 +367,7 @@ set(SURF_SRC
   )
 
 set(PLUGINS_SRC
+  src/plugins/ProducerConsumer.cpp
   src/plugins/dirty_page_tracking.cpp
   src/plugins/host_dvfs.cpp
   src/plugins/host_energy.cpp
@@ -417,6 +424,8 @@ set(SIMIX_SRC
   src/kernel/activity/SynchroRaw.hpp
   src/kernel/actor/ActorImpl.cpp
   src/kernel/actor/ActorImpl.hpp
+  src/kernel/actor/SimcallObserver.cpp
+  src/kernel/actor/SimcallObserver.hpp
 
   ${SIMIX_GENERATED_SRC}
   )
@@ -573,7 +582,7 @@ set(JEDULE_SRC
 
 set(MC_SRC_BASE
   src/mc/mc_base.cpp
-  src/mc/mc_base.h
+  src/mc/mc_base.hpp
   src/mc/mc_record.hpp
   src/mc/mc_replay.hpp
   src/mc/mc_record.cpp
@@ -588,7 +597,6 @@ set(MC_SRC
   src/mc/checker/CommunicationDeterminismChecker.hpp
   src/mc/checker/SafetyChecker.cpp
   src/mc/checker/SafetyChecker.hpp
-  src/mc/checker/SimcallInspector.hpp
   src/mc/checker/LivenessChecker.cpp
   src/mc/checker/LivenessChecker.hpp
   src/mc/checker/UdporChecker.cpp
@@ -619,8 +627,8 @@ set(MC_SRC
   src/mc/remote/Channel.hpp
   src/mc/remote/CheckerSide.cpp
   src/mc/remote/CheckerSide.hpp
-  src/mc/remote/RemoteSimulation.hpp
-  src/mc/remote/RemoteSimulation.cpp
+  src/mc/remote/RemoteProcess.hpp
+  src/mc/remote/RemoteProcess.cpp
   src/mc/remote/RemotePtr.hpp
   src/mc/remote/mc_protocol.h
 
@@ -649,15 +657,12 @@ set(MC_SRC
   src/mc/mc_ignore.hpp
   src/mc/mc_record.cpp
   src/mc/mc_private.hpp
-  src/mc/mc_request.hpp
-  src/mc/mc_request.cpp
   src/mc/mc_safety.hpp
   src/mc/mc_state.hpp
   src/mc/mc_state.cpp
   src/mc/VisitedState.cpp
   src/mc/VisitedState.hpp
   src/mc/mc_client_api.cpp
-  src/mc/mc_smx.hpp
   src/mc/mc_smx.cpp
   src/mc/mc_exit.hpp
   src/mc/Transition.hpp
@@ -680,7 +685,8 @@ set(headers_to_install
   include/simgrid/plugins/file_system.h
   include/simgrid/plugins/live_migration.h
   include/simgrid/plugins/load.h
-  include/simgrid/smpi/replay.hpp
+  include/simgrid/plugins/ProducerConsumer.hpp
+  include/simgrid/smpi/smpi_replay.hpp
   include/simgrid/instr.h
   include/simgrid/mailbox.h
   include/simgrid/simdag.h
@@ -688,7 +694,7 @@ set(headers_to_install
   include/simgrid/forward.h
   include/simgrid/simix.h
   include/simgrid/simix.hpp
-  include/simgrid/simix/blocking_simcall.hpp
+  include/simgrid/kernel/Timer.hpp
   include/simgrid/kernel/future.hpp
   include/simgrid/disk.h
   include/simgrid/host.h
@@ -717,6 +723,7 @@ set(headers_to_install
   include/simgrid/s4u.hpp
 
   include/simgrid/kernel/resource/Action.hpp
+  include/simgrid/kernel/resource/NetworkModelIntf.hpp
   include/simgrid/kernel/resource/Model.hpp
   include/simgrid/kernel/resource/Resource.hpp
 
@@ -730,6 +737,7 @@ set(headers_to_install
   include/simgrid/kernel/routing/NetPoint.hpp
   include/simgrid/kernel/routing/NetZoneImpl.hpp
   include/simgrid/kernel/routing/RoutedZone.hpp
+  include/simgrid/kernel/routing/StarZone.hpp
   include/simgrid/kernel/routing/TorusZone.hpp
   include/simgrid/kernel/routing/VivaldiZone.hpp
   include/simgrid/kernel/routing/WifiZone.hpp
@@ -758,7 +766,6 @@ set(headers_to_install
   include/xbt/file.hpp
   include/xbt/functional.hpp
   include/xbt/function_types.h
-  include/xbt/future.hpp
   include/xbt/graph.h
   include/xbt/log.h
   include/xbt/log.hpp
@@ -768,13 +775,13 @@ set(headers_to_install
   include/xbt/PropertyHolder.hpp
   include/xbt/parmap.h
   include/xbt/parse_units.hpp
+  include/xbt/promise.hpp
   include/xbt/range.hpp
   include/xbt/random.hpp
   include/xbt/replay.hpp
   include/xbt/signal.hpp
   include/xbt/str.h
   include/xbt/string.hpp
-  include/xbt/synchro.h
   include/xbt/sysdep.h
   include/xbt/system_error.hpp
   include/xbt/utility.hpp
@@ -843,9 +850,6 @@ else()
 endif()
 
 set(DOC_SOURCES
-  doc/Doxyfile.in
-  doc/Layout.xml
-
   doc/doxygen/FAQ.doc
   doc/doxygen/inside.doc
   doc/doxygen/inside_tests.doc
@@ -874,13 +878,13 @@ set(DOC_SOURCES
   docs/manpages/tesh.pod
 
   docs/Build.sh
+  docs/README.md
   docs/bin/extract_logs_hierarchy.pl
   docs/requirements.txt
   docs/source/conf.py
   docs/source/Doxyfile
   docs/find-missing.ignore
   docs/find-missing.py
-  docs/source/_ext/autodoxy.py
   docs/source/_ext/showfile.css
   docs/source/_ext/showfile.js
   docs/source/_ext/showfile.py
@@ -907,9 +911,14 @@ set(DOC_SOURCES
   docs/source/img/graphical-toc.svg
   docs/source/img/smpi_simgrid_alltoall_pair_16.png
   docs/source/img/smpi_simgrid_alltoall_ring_16.png
+  docs/source/img/starzone.drawio
+  docs/source/img/starzone.svg
   docs/source/img/zone_hierarchy.png
+  docs/source/img/zone_tree.drawio
+  docs/source/img/zone_tree.svg
+  docs/source/img/zoom_comm.drawio
+  docs/source/img/zoom_comm.svg
 
-  docs/ignored_symbols
   docs/source/application.rst
   docs/source/app_msg.rst
   docs/source/app_s4u.rst
@@ -917,21 +926,23 @@ set(DOC_SOURCES
   docs/source/The_XBT_toolbox.rst
   docs/source/community.rst
   docs/source/Configuring_SimGrid.rst
-  docs/source/Deploying_your_Application.rst
-  docs/source/Experimental_Setup.rst
+  docs/source/Deploying_your_application.rst
+  docs/source/Experimental_setup.rst
   docs/source/index.rst
+  docs/source/intl.rst
   docs/source/Introduction.rst
   docs/source/Installing_SimGrid.rst
-  docs/source/Start_Your_Own_Project.rst
-  docs/source/models.rst
-  docs/source/ns3.rst
-  docs/source/outcomes.rst
-  docs/source/platform.rst
-  docs/source/Platform_Examples.rst
-  docs/source/platform_howtos.rst
-  docs/source/Platform_Routing.rst
+  docs/source/Start_your_own_project.rst
+  docs/source/Models.rst
+  docs/source/Outcomes.rst
+  docs/source/Platform.rst
+  docs/source/Platform_cpp.rst
+  docs/source/Platform_examples.rst
+  docs/source/Platform_howtos.rst
+  docs/source/Platform_routing.rst
   docs/source/Plugins.rst
-  docs/source/XML_Reference.rst
+  docs/source/XML_reference.rst
+  docs/source/Design_goals.rst
 
   docs/source/Tutorial_Algorithms.rst
   docs/source/tuto_s4u/deployment1.xml
@@ -957,6 +968,8 @@ set(DOC_SOURCES
   docs/source/tuto_smpi/gemm_mpi.cpp
   docs/source/tuto_smpi/roundtrip.c
 
+  docs/source/Tutorial_Model-checking.rst
+
   CITATION.bib
   )
 
@@ -969,16 +982,7 @@ set(DOC_IMG
   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/eclipseScreenShot.png
   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/Paje_MSG_screenshot.jpg
   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/Paje_MSG_screenshot_thn.jpg
-  ${CMAKE_HOME_DIRECTORY}/doc/webcruft/SGicon.gif
-  ${CMAKE_HOME_DIRECTORY}/doc/webcruft/SGicon.icns
-  ${CMAKE_HOME_DIRECTORY}/doc/webcruft/SGicon.ico
-  ${CMAKE_HOME_DIRECTORY}/doc/webcruft/awstats_logo3.png
   ${CMAKE_HOME_DIRECTORY}/doc/webcruft/output.goal.pdf
-  ${CMAKE_HOME_DIRECTORY}/doc/webcruft/poster_thumbnail.png
-  ${CMAKE_HOME_DIRECTORY}/doc/webcruft/storage_sample_scenario.png
-  ${CMAKE_HOME_DIRECTORY}/doc/webcruft/simgrid_logo_2011.gif
-  ${CMAKE_HOME_DIRECTORY}/doc/webcruft/simgrid_logo_2011.png
-  ${CMAKE_HOME_DIRECTORY}/doc/webcruft/simgrid_logo_2011_small.png
   )
 
 set(bin_files
@@ -1004,6 +1008,7 @@ set(txt_files
 # The list of cmake build directories is constructed from the following list.
 # Add your CMakeLists file here to see your subdir built.
 set(CMAKEFILES_TXT
+  examples/platforms/CMakeLists.txt
   examples/c/CMakeLists.txt
   examples/cpp/CMakeLists.txt
   examples/smpi/CMakeLists.txt
@@ -1157,15 +1162,18 @@ set(PLATFORMS_EXAMPLES
   examples/platforms/energy_cluster.xml
   examples/platforms/faulty_host.xml
   examples/platforms/g5k.xml
+  examples/platforms/griffon.cpp
   examples/platforms/griffon.xml
   examples/platforms/hosts_with_disks.xml
   examples/platforms/meta_cluster.xml
   examples/platforms/multicore_machine.xml
   examples/platforms/ns3-big-cluster.xml
   examples/platforms/onelink.xml
+  examples/platforms/ptask_L07.xml
   examples/platforms/prop.xml
   examples/platforms/routing_cluster.xml
   examples/platforms/routing_cluster.lua
+  examples/platforms/routing_cluster.cpp
   examples/platforms/routing_none.xml
   examples/platforms/simulacrum_7_hosts.xml
   examples/platforms/storage/content/small_content.txt