From 028d1ea1cbbb8c6fc9a6f981aab665270b661c20 Mon Sep 17 00:00:00 2001 From: mlaurent Date: Wed, 29 Mar 2023 10:27:18 +0200 Subject: [PATCH] Add missing file --- MANIFEST.in | 1 + tools/cmake/DefinePackages.cmake | 1 + 2 files changed, 2 insertions(+) diff --git a/MANIFEST.in b/MANIFEST.in index 9ae7ec1439..1f7e06dc50 100644 --- a/MANIFEST.in +++ b/MANIFEST.in @@ -2155,6 +2155,7 @@ include src/mc/api/State.cpp include src/mc/api/State.hpp include src/mc/api/guide/BasicGuide.hpp include src/mc/api/guide/GuidedState.hpp +include src/mc/api/guide/WaitGuide.hpp include src/mc/compare.cpp include src/mc/datatypes.h include src/mc/explo/CommunicationDeterminismChecker.cpp diff --git a/tools/cmake/DefinePackages.cmake b/tools/cmake/DefinePackages.cmake index 1703fe08f2..5cd59b4a9c 100644 --- a/tools/cmake/DefinePackages.cmake +++ b/tools/cmake/DefinePackages.cmake @@ -601,6 +601,7 @@ set(MC_SRC src/mc/api/guide/BasicGuide.hpp src/mc/api/guide/GuidedState.hpp + src/mc/api/guide/WaitGuide.hpp src/mc/api/ActorState.hpp src/mc/api/State.cpp src/mc/api/State.hpp -- 2.20.1