Logo AND Algorithmique Numérique Distribuée

Public GIT Repository
Fix dist
authorAugustin Degomme <augustin.degomme@imag.fr>
Fri, 28 Nov 2014 09:20:33 +0000 (10:20 +0100)
committerAugustin Degomme <augustin.degomme@imag.fr>
Fri, 28 Nov 2014 09:20:33 +0000 (10:20 +0100)
buildtools/Cmake/DefinePackages.cmake
examples/msg/mc/CMakeLists.txt

index 0774625..fe63858 100644 (file)
@@ -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
   )
 
index 5516685..fb51f84 100644 (file)
@@ -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