From 26bdb1496087b0a62871399f8703b990de7cc676 Mon Sep 17 00:00:00 2001 From: Martin Quinson Date: Fri, 31 Jan 2020 09:46:13 +0100 Subject: [PATCH] only install the msg header if MSG was compiled in --- tools/cmake/DefinePackages.cmake | 7 ++++--- 1 file changed, 4 insertions(+), 3 deletions(-) diff --git a/tools/cmake/DefinePackages.cmake b/tools/cmake/DefinePackages.cmake index 4d566376d9..da2fc12a19 100644 --- a/tools/cmake/DefinePackages.cmake +++ b/tools/cmake/DefinePackages.cmake @@ -691,7 +691,6 @@ set(headers_to_install include/simgrid/smpi/replay.hpp include/simgrid/instr.h include/simgrid/mailbox.h - include/simgrid/msg.h include/simgrid/simdag.h include/simgrid/modelchecker.h include/simgrid/forward.h @@ -819,9 +818,11 @@ set(simgrid_sources ) if(${enable_MSG}) - set(simgrid_sources ${simgrid_sources} ${MSG_SRC}) + set(headers_to_install ${headers_to_install} include/simgrid/msg.h) + set(simgrid_sources ${simgrid_sources} ${MSG_SRC}) else() - set(EXTRA_DIST ${EXTRA_DIST} ${MSG_SRC}) + set(EXTRA_DIST ${EXTRA_DIST} include/simgrid/msg.h + ${MSG_SRC}) endif() if(${SIMGRID_HAVE_JEDULE}) -- 2.20.1