model-checker : get hash of local and global variables which are not pointers

[simgrid.git] / tools / CMakeLists.txt

diff --git a/tools/CMakeLists.txt b/tools/CMakeLists.txt
index 7634adc..bcf8684 100644 (file)
--- a/tools/CMakeLists.txt
+++ b/tools/CMakeLists.txt
@@ -14,3 +14,9 @@ set(bin_files
   ${CMAKE_CURRENT_SOURCE_DIR}/MSG_visualization/trace2fig.pl
   PARENT_SCOPE
   )
+
+set(txt_files
+  ${txt_files}
+  ${CMAKE_CURRENT_SOURCE_DIR}/simgrid2vite.sed
+  PARENT_SCOPE
+  )