From f981778411fdffa84fd0721f61983d914505b9d1 Mon Sep 17 00:00:00 2001 From: Arnaud Giersch Date: Sat, 22 Mar 2014 23:06:44 +0100 Subject: [PATCH] Header platf_interface.h needs to be public (included from surf_routing.h). --- buildtools/Cmake/DefinePackages.cmake | 2 +- {src/include => include}/simgrid/platf_interface.h | 0 2 files changed, 1 insertion(+), 1 deletion(-) rename {src/include => include}/simgrid/platf_interface.h (100%) diff --git a/buildtools/Cmake/DefinePackages.cmake b/buildtools/Cmake/DefinePackages.cmake index 2b446f2f25..3e237bcff4 100644 --- a/buildtools/Cmake/DefinePackages.cmake +++ b/buildtools/Cmake/DefinePackages.cmake @@ -6,7 +6,6 @@ set(EXTRA_DIST src/include/instr/instr_interface.h src/include/mc/datatypes.h src/include/mc/mc.h - src/include/simgrid/platf_interface.h src/include/simgrid/sg_config.h src/include/smpi/smpi_interface.h src/include/surf/datatypes.h @@ -595,6 +594,7 @@ set(headers_to_install include/simgrid/modelchecker.h include/simgrid/platf.h include/simgrid/platf_generator.h + include/simgrid/platf_interface.h include/simgrid/plugins.h include/simgrid/simix.h include/smpi/mpi.h diff --git a/src/include/simgrid/platf_interface.h b/include/simgrid/platf_interface.h similarity index 100% rename from src/include/simgrid/platf_interface.h rename to include/simgrid/platf_interface.h -- 2.20.1