Fix MANIFEST.in

We should note that the Execution that's a part of
both ODPOR and SDPOR is now contained in DFSExplorer
even in stateless execution. This will likely eventually
be true also for ODPOR; hence, the ODPOR sources
have been added to the SRC_MC_STATELESS portion as
needed

diff --git a/MANIFEST.in b/MANIFEST.in
index 8912990..718c24d 100644 (file)
--- a/MANIFEST.in
+++ b/MANIFEST.in
@@ -2189,11 +2189,14 @@ include src/mc/explo/Exploration.cpp
 include src/mc/explo/Exploration.hpp
 include src/mc/explo/LivenessChecker.cpp
 include src/mc/explo/LivenessChecker.hpp
+include src/mc/explo/UdporChecker.cpp
+include src/mc/explo/UdporChecker.hpp
 include src/mc/explo/odpor/Execution.cpp
 include src/mc/explo/odpor/Execution.hpp
 include src/mc/explo/odpor/Execution_test.cpp
-include src/mc/explo/UdporChecker.cpp
-include src/mc/explo/UdporChecker.hpp
+include src/mc/explo/odpor/WakeupTree.cpp
+include src/mc/explo/odpor/WakeupTree.hpp
+include src/mc/explo/odpor/odpor_forward.hpp
 include src/mc/explo/simgrid_mc.cpp
 include src/mc/explo/udpor/Comb.hpp
 include src/mc/explo/udpor/Configuration.cpp

diff --git a/tools/cmake/DefinePackages.cmake b/tools/cmake/DefinePackages.cmake
index 1eae124..95e2a37 100644 (file)
--- a/tools/cmake/DefinePackages.cmake
+++ b/tools/cmake/DefinePackages.cmake
@@ -535,6 +535,12 @@ set(MC_SRC_STATELESS
   src/mc/explo/Exploration.cpp
   src/mc/explo/Exploration.hpp
 
+  src/mc/explo/odpor/Execution.cpp
+  src/mc/explo/odpor/Execution.hpp
+  src/mc/explo/odpor/WakeupTree.cpp
+  src/mc/explo/odpor/WakeupTree.hpp
+  src/mc/explo/odpor/odpor_forward.hpp
+
   src/mc/remote/AppSide.cpp
   src/mc/remote/AppSide.hpp
   src/mc/remote/Channel.cpp
@@ -565,9 +571,6 @@ set(MC_SRC_STATEFUL
   src/mc/explo/LivenessChecker.hpp
   src/mc/explo/UdporChecker.cpp
   src/mc/explo/UdporChecker.hpp
-
-  src/mc/explo/odpor/Execution.cpp
-  src/mc/explo/odpor/Execution.hpp
   
   src/mc/explo/udpor/Comb.hpp
   src/mc/explo/udpor/Configuration.hpp