From 1972ae55e74ae11db31c5fbd1a72ac7fd9951b48 Mon Sep 17 00:00:00 2001 From: Christian Heinrich Date: Fri, 20 May 2016 19:26:54 +0200 Subject: [PATCH 1/1] [CMAKE] Install header files for call-location tracing. --- tools/cmake/DefinePackages.cmake | 2 ++ 1 file changed, 2 insertions(+) diff --git a/tools/cmake/DefinePackages.cmake b/tools/cmake/DefinePackages.cmake index d111567f46..8225800543 100644 --- a/tools/cmake/DefinePackages.cmake +++ b/tools/cmake/DefinePackages.cmake @@ -648,6 +648,8 @@ set(headers_to_install include/smpi/mpi.h include/smpi/smpi.h include/smpi/smpi_main.h + include/smpi/smpi_extended_traces.h + include/smpi/smpi_extended_traces_fortran.h include/surf/surf_routing.h include/xbt.h include/xbt/RngStream.h -- 2.20.1