From 488cc2722e79690d7dcba12806df9dcfb7668339 Mon Sep 17 00:00:00 2001 From: Gabriel Corona Date: Thu, 4 Dec 2014 11:41:02 +0100 Subject: [PATCH] [mc] Fix distcheck --- buildtools/Cmake/DefinePackages.cmake | 14 ++++++++++++++ 1 file changed, 14 insertions(+) diff --git a/buildtools/Cmake/DefinePackages.cmake b/buildtools/Cmake/DefinePackages.cmake index 12f4fb1ee8..790a06d452 100644 --- a/buildtools/Cmake/DefinePackages.cmake +++ b/buildtools/Cmake/DefinePackages.cmake @@ -587,16 +587,24 @@ set(JEDULE_SRC set(MC_SRC_BASE src/mc/mc_base.c src/mc/mc_base.h + src/mc/mc_record.h src/mc/mc_record.c src/mc/mc_config.c src/mc/mc_global.c ) set(MC_SRC + src/mc/mc_forward.h + src/mc/mc_mmalloc.h + src/mc/mc_model_checker.h + src/mc/mc_object_info.h src/mc/mc_checkpoint.c + src/mc/mc_snapshot.h src/mc/mc_snapshot.c + src/mc/mc_page_store.h src/mc/mc_page_store.cpp src/mc/mc_page_snapshot.cpp + src/mc/mc_comm_pattern.h src/mc/mc_comm_determinism.c src/mc/mc_compare.cpp src/mc/mc_diff.c @@ -607,17 +615,23 @@ set(MC_SRC src/mc/mc_hash.c src/mc/mc_ignore.c src/mc/mc_interface.h + src/mc/mc_liveness.h + src/mc/mc_location.h src/mc/mc_liveness.c src/mc/mc_record.c src/mc/mc_member.c src/mc/mc_memory.c src/mc/mc_pair.c src/mc/mc_private.h + src/mc/mc_request.h src/mc/mc_request.c + src/mc/mc_safety.h src/mc/mc_safety.c src/mc/mc_set.cpp + src/mc/mc_state.h src/mc/mc_state.c src/mc/mc_visited.c + src/mc/mc_memory_map.h src/mc/memory_map.c ) -- 2.20.1