[mc] Remove MC_automaton_new_propositional_symbol_callback()

[simgrid.git] / buildtools / Cmake / DefinePackages.cmake

diff --git a/buildtools/Cmake/DefinePackages.cmake b/buildtools/Cmake/DefinePackages.cmake
index 01daaf5..2b699db 100644 (file)
--- a/buildtools/Cmake/DefinePackages.cmake
+++ b/buildtools/Cmake/DefinePackages.cmake
@@ -393,6 +393,7 @@ endif()
 
 set(SIMGRID_SRC
   src/simgrid/sg_config.c
 
 set(SIMGRID_SRC
   src/simgrid/sg_config.c

+  src/simgrid/util.hpp

   )
 
 set(MSG_SRC
   )
 
 set(MSG_SRC


@@ -602,6 +603,7 @@ set(MC_SRC
   src/mc/AddressSpace.hpp
   src/mc/AddressSpace.cpp
   src/mc/mc_forward.h
   src/mc/AddressSpace.hpp
   src/mc/AddressSpace.cpp
   src/mc/mc_forward.h

+  src/mc/mc_forward.hpp

   src/mc/mc_process.h
   src/mc/mc_process.cpp
   src/mc/mc_unw.h
   src/mc/mc_process.h
   src/mc/mc_process.cpp
   src/mc/mc_unw.h


@@ -696,6 +698,7 @@ set(headers_to_install
   include/xbt/RngStream.h
   include/xbt/asserts.h
   include/xbt/automaton.h
   include/xbt/RngStream.h
   include/xbt/asserts.h
   include/xbt/automaton.h

+  include/xbt/automaton.hpp

   include/xbt/base.h
   include/xbt/config.h
   include/xbt/cunit.h
   include/xbt/base.h
   include/xbt/config.h
   include/xbt/cunit.h