Kill unused host_dvfs plugin.

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

diff --git a/tools/cmake/DefinePackages.cmake b/tools/cmake/DefinePackages.cmake
index abe9634303ff1f82fadd037adb2eeecda668072b..f641c2ad03600dc9232a623b0906abfe8a40a493 100644 (file)
--- a/tools/cmake/DefinePackages.cmake
+++ b/tools/cmake/DefinePackages.cmake
@@ -2,7 +2,6 @@
 
 set(EXTRA_DIST
   src/3rd-party/catch.hpp
-  src/3rd-party/xxhash.hpp
   src/bindings/python/simgrid_python.cpp
   src/dag/dax.dtd
   src/dag/dax_dtd.c
@@ -46,11 +45,6 @@ set(EXTRA_DIST
   src/kernel/xml/simgrid_dtd.h
   src/kernel/xml/platf_sax_cb.cpp
 
-  src/xbt/automaton/automaton_lexer.yy.c
-  src/xbt/automaton/parserPromela.lex
-  src/xbt/automaton/parserPromela.tab.cacc
-  src/xbt/automaton/parserPromela.tab.hacc
-  src/xbt/automaton/parserPromela.yacc
   src/xbt/coverage.h
   src/xbt/dict_private.h
   src/xbt/log_private.hpp
@@ -244,8 +238,6 @@ set(STHREAD_SRC
 set(XBT_SRC
   src/xbt/OsSemaphore.hpp
   src/xbt/PropertyHolder.cpp
-  src/xbt/automaton/automaton.c
-  src/xbt/automaton/automatonparse_promela.c
   src/xbt/backtrace.cpp
   src/xbt/config.cpp
   src/xbt/dict.cpp
@@ -426,7 +418,6 @@ set(PLUGINS_SRC
   src/plugins/ProducerConsumer.cpp
   src/plugins/chaos_monkey.cpp
   src/plugins/file_system/s4u_FileSystem.cpp
-  src/plugins/host_dvfs.cpp
   src/plugins/host_energy.cpp
   src/plugins/host_load.cpp
   src/plugins/jbod.cpp
@@ -547,8 +538,6 @@ set(MC_SRC_STATELESS
 
   src/mc/explo/odpor/Execution.cpp
   src/mc/explo/odpor/Execution.hpp
-  src/mc/explo/odpor/ReversibleRaceCalculator.cpp
-  src/mc/explo/odpor/ReversibleRaceCalculator.hpp
   src/mc/explo/odpor/WakeupTree.cpp
   src/mc/explo/odpor/WakeupTree.hpp
   src/mc/explo/odpor/WakeupTreeIterator.cpp
@@ -605,7 +594,6 @@ set(headers_to_install
   include/simgrid/chrono.hpp
   include/simgrid/plugins/battery.hpp
   include/simgrid/plugins/chiller.hpp
-  include/simgrid/plugins/dvfs.h
   include/simgrid/plugins/energy.h
   include/simgrid/plugins/file_system.h
   include/simgrid/plugins/jbod.hpp
@@ -679,8 +667,6 @@ set(headers_to_install
   include/xbt.h
   include/xbt/asserts.h
   include/xbt/asserts.hpp
-  include/xbt/automaton.h
-  include/xbt/automaton.hpp
   include/xbt/backtrace.hpp
   include/xbt/base.h
   include/xbt/config.h
@@ -1130,13 +1116,3 @@ set(PLATFORMS_EXAMPLES
   examples/platforms/wifi_large_cell.xml
   examples/platforms/wifi_ns3.xml
   )
-
-set(generated_src_files
-  src/xbt/automaton/automaton_lexer.yy.c
-  src/xbt/automaton/parserPromela.tab.cacc
-  src/xbt/automaton/parserPromela.tab.hacc
-  )
-
-foreach(file ${generated_src_files})
-  set_source_files_properties(${file} PROPERTIES GENERATED true)
-endforeach(file ${generated_src_files})