From af831ef9a1d118d9a428e7462f8ff9a6bdd949ad Mon Sep 17 00:00:00 2001 From: Christian Heinrich Date: Fri, 3 Aug 2018 14:01:35 +0200 Subject: [PATCH] [SMPI] Add sampi.h header --- tools/cmake/DefinePackages.cmake | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/tools/cmake/DefinePackages.cmake b/tools/cmake/DefinePackages.cmake index e123e33306..5313525cdb 100644 --- a/tools/cmake/DefinePackages.cmake +++ b/tools/cmake/DefinePackages.cmake @@ -665,7 +665,6 @@ set(MC_SRC set(MC_SIMGRID_MC_SRC src/mc/checker/simgrid_mc.cpp) set(headers_to_install - include/simgrid_config.h include/simgrid/actor.h include/simgrid/barrier.h @@ -727,6 +726,7 @@ set(headers_to_install include/simgrid/kernel/routing/VivaldiZone.hpp include/smpi/mpi.h + include/smpi/sampi.h include/smpi/smpi.h include/smpi/smpi_main.h include/smpi/smpi_helpers.h -- 2.20.1