Make it compile on 32bits, to please @degomme

[simgrid.git] / tools / CMakeLists.txt

diff --git a/tools/CMakeLists.txt b/tools/CMakeLists.txt
index 147c734..002deb0 100644 (file)
--- a/tools/CMakeLists.txt
+++ b/tools/CMakeLists.txt
@@ -1,9 +1,8 @@
-cmake_minimum_required(VERSION 2.6)
-
 set(bin_files
   ${bin_files}
   ${CMAKE_CURRENT_SOURCE_DIR}/fix-paje-trace.sh
-  ${CMAKE_CURRENT_SOURCE_DIR}/indent
+  ${CMAKE_CURRENT_SOURCE_DIR}/generate-dwarf-functions
+  ${CMAKE_CURRENT_SOURCE_DIR}/normalize-pointers.py
   ${CMAKE_CURRENT_SOURCE_DIR}/platf_route_rulebased2full.py
   ${CMAKE_CURRENT_SOURCE_DIR}/sg_unit_extractor.pl
   ${CMAKE_CURRENT_SOURCE_DIR}/sg_xml_unit_converter.py
@@ -19,6 +18,7 @@ set(bin_files
 
 set(txt_files
   ${txt_files}
+  ${CMAKE_CURRENT_SOURCE_DIR}/simgrid.supp
   ${CMAKE_CURRENT_SOURCE_DIR}/simgrid2vite.sed
   PARENT_SCOPE
   )