Fix distcheck.

diff --git a/MANIFEST.in b/MANIFEST.in
index 89bf7ed..105d326 100644 (file)
--- a/MANIFEST.in
+++ b/MANIFEST.in
@@ -2151,6 +2151,22 @@ include src/mc/explo/LivenessChecker.hpp
 include src/mc/explo/UdporChecker.cpp
 include src/mc/explo/UdporChecker.hpp
 include src/mc/explo/simgrid_mc.cpp
+include src/mc/explo/udpor/Configuration.cpp
+include src/mc/explo/udpor/Configuration.hpp
+include src/mc/explo/udpor/Configuration_test.cpp
+include src/mc/explo/udpor/EventSet.cpp
+include src/mc/explo/udpor/EventSet.hpp
+include src/mc/explo/udpor/EventSet_test.cpp
+include src/mc/explo/udpor/History.cpp
+include src/mc/explo/udpor/History.hpp
+include src/mc/explo/udpor/History_test.cpp
+include src/mc/explo/udpor/Unfolding.cpp
+include src/mc/explo/udpor/Unfolding.hpp
+include src/mc/explo/udpor/UnfoldingEvent.cpp
+include src/mc/explo/udpor/UnfoldingEvent.hpp
+include src/mc/explo/udpor/UnfoldingEvent_test.cpp
+include src/mc/explo/udpor/Unfolding_test.cpp
+include src/mc/explo/udpor/udpor_forward.hpp
 include src/mc/inspect/DwarfExpression.cpp
 include src/mc/inspect/DwarfExpression.hpp
 include src/mc/inspect/Frame.cpp
@@ -2215,16 +2231,6 @@ include src/mc/transition/TransitionRandom.cpp
 include src/mc/transition/TransitionRandom.hpp
 include src/mc/transition/TransitionSynchro.cpp
 include src/mc/transition/TransitionSynchro.hpp
-include src/mc/explo/udpor/Configuration.hpp
-include src/mc/explo/udpor/Configuration.cpp
-include src/mc/explo/udpor/EventSet.cpp
-include src/mc/explo/udpor/EventSet.hpp
-include src/mc/explo/udpor/History.cpp
-include src/mc/explo/udpor/History.hpp
-include src/mc/explo/udpor/UnfoldingEvent.cpp
-include src/mc/explo/udpor/UnfoldingEvent.hpp
-include src/mc/explo/udpor/Unfolding.cpp
-include src/mc/explo/udpor/Unfolding.hpp
 include src/plugins/ProducerConsumer.cpp
 include src/plugins/chaos_monkey.cpp
 include src/plugins/file_system/s4u_FileSystem.cpp

diff --git a/tools/cmake/DefinePackages.cmake b/tools/cmake/DefinePackages.cmake
index 0bf6946..7ab49a1 100644 (file)
--- a/tools/cmake/DefinePackages.cmake
+++ b/tools/cmake/DefinePackages.cmake
@@ -533,6 +533,7 @@ set(MC_SRC
   src/mc/explo/udpor/UnfoldingEvent.hpp
   src/mc/explo/udpor/Unfolding.cpp
   src/mc/explo/udpor/Unfolding.hpp
+  src/mc/explo/udpor/udpor_forward.hpp
   
   src/mc/inspect/DwarfExpression.cpp
   src/mc/inspect/DwarfExpression.hpp

diff --git a/tools/cmake/Tests.cmake b/tools/cmake/Tests.cmake
index e469571..ba1e45f 100644 (file)
--- a/tools/cmake/Tests.cmake
+++ b/tools/cmake/Tests.cmake
@@ -127,16 +127,18 @@ set(UNIT_TESTS  src/xbt/unit-tests_main.cpp
                 src/xbt/random_test.cpp
                 src/xbt/xbt_str_test.cpp
                 src/kernel/lmm/maxmin_test.cpp)
+
+set(MC_UNIT_TESTS src/mc/sosp/Snapshot_test.cpp 
+                  src/mc/sosp/PageStore_test.cpp
+                  src/mc/explo/udpor/EventSet_test.cpp
+                  src/mc/explo/udpor/Unfolding_test.cpp
+                  src/mc/explo/udpor/UnfoldingEvent_test.cpp
+                  src/mc/explo/udpor/History_test.cpp
+                  src/mc/explo/udpor/Configuration_test.cpp)
 if (SIMGRID_HAVE_MC)
-  set(UNIT_TESTS ${UNIT_TESTS} src/mc/sosp/Snapshot_test.cpp 
-                               src/mc/sosp/PageStore_test.cpp
-                               src/mc/explo/udpor/EventSet_test.cpp
-                               src/mc/explo/udpor/Unfolding_test.cpp
-                               src/mc/explo/udpor/UnfoldingEvent_test.cpp
-                               src/mc/explo/udpor/History_test.cpp
-                               src/mc/explo/udpor/Configuration_test.cpp)
+  set(UNIT_TESTS ${UNIT_TESTS} ${MC_UNIT_TESTS})
 else()
-  set(EXTRA_DIST ${EXTRA_DIST} src/mc/sosp/Snapshot_test.cpp src/mc/sosp/PageStore_test.cpp)
+  set(EXTRA_DIST ${EXTRA_DIST} ${MC_UNIT_TESTS})
 endif()
 if (SIMGRID_HAVE_EIGEN3)
   set(UNIT_TESTS ${UNIT_TESTS} src/kernel/lmm/bmf_test.cpp)