From d97be1211bced2983a3d70127170b679030379f4 Mon Sep 17 00:00:00 2001 From: Maxwell Pirtle Date: Tue, 9 May 2023 13:57:07 +0200 Subject: [PATCH] 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 --- MANIFEST.in | 7 +++++-- tools/cmake/DefinePackages.cmake | 9 ++++++--- 2 files changed, 11 insertions(+), 5 deletions(-) diff --git a/MANIFEST.in b/MANIFEST.in index 8912990be1..718c24d88b 100644 --- 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 1eae1244ca..95e2a37f9b 100644 --- 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 -- 2.20.1