From fc5d00f2ff403347938ab0a9a59222f82abfead9 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Sun, 19 Mar 2023 09:13:06 +0100 Subject: [PATCH] Fix make distcheck --- MANIFEST.in | 3 +++ tools/cmake/DefinePackages.cmake | 14 +++++++++----- 2 files changed, 12 insertions(+), 5 deletions(-) diff --git a/MANIFEST.in b/MANIFEST.in index f173a85642..24bc955cb0 100644 --- a/MANIFEST.in +++ b/MANIFEST.in @@ -2156,6 +2156,8 @@ include src/mc/api/RemoteApp.cpp include src/mc/api/RemoteApp.hpp 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/compare.cpp include src/mc/datatypes.h include src/mc/explo/CommunicationDeterminismChecker.cpp @@ -2603,6 +2605,7 @@ include tools/cmake/Modules/FindLibunwind.cmake include tools/cmake/Modules/FindNS3.cmake include tools/cmake/Modules/FindPAPI.cmake include tools/cmake/Modules/FindValgrind.cmake +include tools/cmake/Modules/nlohmann_jsonConfig.cmake include tools/cmake/Modules/pybind11Config.cmake include tools/cmake/Option.cmake include tools/cmake/Tests.cmake diff --git a/tools/cmake/DefinePackages.cmake b/tools/cmake/DefinePackages.cmake index 7f14976da9..6bd5ec3235 100644 --- a/tools/cmake/DefinePackages.cmake +++ b/tools/cmake/DefinePackages.cmake @@ -598,16 +598,19 @@ set(MC_SRC src/mc/transition/TransitionSynchro.cpp src/mc/transition/TransitionSynchro.hpp - src/mc/AddressSpace.hpp - src/mc/ModelChecker.cpp - src/mc/ModelChecker.hpp - src/mc/VisitedState.cpp - src/mc/VisitedState.hpp + src/mc/api/guide/BasicGuide.hpp + src/mc/api/guide/GuidedState.hpp src/mc/api/ActorState.hpp src/mc/api/State.cpp src/mc/api/State.hpp src/mc/api/RemoteApp.cpp src/mc/api/RemoteApp.hpp + + src/mc/AddressSpace.hpp + src/mc/ModelChecker.cpp + src/mc/ModelChecker.hpp + src/mc/VisitedState.cpp + src/mc/VisitedState.hpp src/mc/compare.cpp src/mc/mc_exit.hpp src/mc/mc_forward.hpp @@ -1050,6 +1053,7 @@ set(CMAKE_SOURCE_FILES tools/cmake/Modules/FindNS3.cmake tools/cmake/Modules/FindPAPI.cmake tools/cmake/Modules/FindValgrind.cmake + tools/cmake/Modules/nlohmann_jsonConfig.cmake tools/cmake/Modules/pybind11Config.cmake tools/cmake/Option.cmake tools/cmake/Tests.cmake -- 2.20.1