From 71a5eb97d50eadd3edf7623d21dd3c1c4e235971 Mon Sep 17 00:00:00 2001
From: Augustin Degomme <augustin.degomme@imag.fr>
Date: Fri, 28 Nov 2014 10:20:33 +0100
Subject: [PATCH 1/1] Fix dist

---
 buildtools/Cmake/DefinePackages.cmake | 1 +
 examples/msg/mc/CMakeLists.txt        | 1 +
 2 files changed, 2 insertions(+)

diff --git a/buildtools/Cmake/DefinePackages.cmake b/buildtools/Cmake/DefinePackages.cmake
index 0774625a55..fe6385844a 100644
--- a/buildtools/Cmake/DefinePackages.cmake
+++ b/buildtools/Cmake/DefinePackages.cmake
@@ -1176,6 +1176,7 @@ set(CMAKE_SOURCE_FILES
   tools/stack-cleaner/c++
   tools/stack-cleaner/fortran
   tools/stack-cleaner/clean-stack-filter
+  tools/stack-cleaner/compiler-wrapper
   tools/stack-cleaner/README
   )
 
diff --git a/examples/msg/mc/CMakeLists.txt b/examples/msg/mc/CMakeLists.txt
index 5516685af1..fb51f84e29 100644
--- a/examples/msg/mc/CMakeLists.txt
+++ b/examples/msg/mc/CMakeLists.txt
@@ -75,6 +75,7 @@ set(bin_files
   ${bin_files}
   ${CMAKE_CURRENT_SOURCE_DIR}/promela_bugged1_liveness
   ${CMAKE_CURRENT_SOURCE_DIR}/promela_bugged2_liveness
+  ${CMAKE_CURRENT_SOURCE_DIR}/bugged1_liveness_stack_cleaner
   PARENT_SCOPE
   )
 set(txt_files
-- 
2.20.1