From fda4e6fcd12811281b29bae03eb15af4fe3fe40a Mon Sep 17 00:00:00 2001 From: Gabriel Corona Date: Fri, 27 Jun 2014 13:51:24 +0200 Subject: [PATCH] Add missing dist files --- buildtools/Cmake/DefinePackages.cmake | 5 +++++ 1 file changed, 5 insertions(+) diff --git a/buildtools/Cmake/DefinePackages.cmake b/buildtools/Cmake/DefinePackages.cmake index 7f3a592b38..25c29a27fe 100644 --- a/buildtools/Cmake/DefinePackages.cmake +++ b/buildtools/Cmake/DefinePackages.cmake @@ -5,6 +5,8 @@ set(EXTRA_DIST src/include/instr/instr_interface.h src/include/mc/datatypes.h src/include/mc/mc.h + src/mc/mc_mmu.h + src/mc/mc_page_store.h src/include/simgrid/platf_interface.h src/include/simgrid/sg_config.h src/include/smpi/smpi_interface.h @@ -124,6 +126,8 @@ set(EXTRA_DIST src/xbt/win32_ucontext.c tools/tesh/run_context.h tools/tesh/tesh.h + examples/smpi/mc/non_deterministic.tesh + examples/smpi/mc/send_deterministic.tesh ) set(SMPI_SRC @@ -1019,6 +1023,7 @@ set(EXAMPLES_CMAKEFILES_TXT set(TESHSUITE_CMAKEFILES_TXT teshsuite/bug-17132/CMakeLists.txt + teshsuite/mc/CMakeLists.txt teshsuite/mc/dwarf/CMakeLists.txt teshsuite/mc/dwarf_expression/CMakeLists.txt teshsuite/msg/CMakeLists.txt -- 2.20.1