From a56b8f14aa8cca56cc420f8439ecb7e4a3d56073 Mon Sep 17 00:00:00 2001
From: Gabriel Corona <gabriel.corona@loria.fr>
Date: Mon, 1 Dec 2014 12:16:45 +0100
Subject: [PATCH] Fix dist

---
 buildtools/Cmake/DefinePackages.cmake | 1 +
 buildtools/Cmake/Distrib.cmake        | 1 +
 teshsuite/mc/replay/CMakeLists.txt    | 7 +++++++
 3 files changed, 9 insertions(+)

diff --git a/buildtools/Cmake/DefinePackages.cmake b/buildtools/Cmake/DefinePackages.cmake
index 5509fe5903..2e3344ef45 100644
--- a/buildtools/Cmake/DefinePackages.cmake
+++ b/buildtools/Cmake/DefinePackages.cmake
@@ -586,6 +586,7 @@ set(JEDULE_SRC
 
 set(MC_SRC_BASE
   src/mc/mc_base.c
+  src/mc/mc_base.h
   src/mc/mc_record.c
   src/mc/mc_config.c
   )
diff --git a/buildtools/Cmake/Distrib.cmake b/buildtools/Cmake/Distrib.cmake
index 1fcd9e2eab..428db7c6ea 100644
--- a/buildtools/Cmake/Distrib.cmake
+++ b/buildtools/Cmake/Distrib.cmake
@@ -203,6 +203,7 @@ set(source_to_pack
   ${JSURF_SWIG_SRC_EXTRA}
   ${JSURF_C_SRC}
   ${LUA_SRC}
+  ${MC_SRC_BASE}
   ${MC_SRC}
   ${MSG_SRC}
   ${NS3_SRC}
diff --git a/teshsuite/mc/replay/CMakeLists.txt b/teshsuite/mc/replay/CMakeLists.txt
index d875af7a45..806d65146f 100644
--- a/teshsuite/mc/replay/CMakeLists.txt
+++ b/teshsuite/mc/replay/CMakeLists.txt
@@ -6,6 +6,8 @@ target_link_libraries(random_bug simgrid)
 
 set(tesh_files
   ${tesh_files}
+  ${CMAKE_CURRENT_SOURCE_DIR}/random_bug.tesh
+  ${CMAKE_CURRENT_SOURCE_DIR}/random_bug_replay.tesh
   PARENT_SCOPE
   )
 set(testsuite_src
@@ -13,3 +15,8 @@ set(testsuite_src
   ${CMAKE_CURRENT_SOURCE_DIR}/random_bug.c
   PARENT_SCOPE
   )
+set(xml_files
+  ${xml_files}
+  ${CMAKE_CURRENT_SOURCE_DIR}/random_bug.xml
+  PARENT_SCOPE
+  )
-- 
2.20.1