From c869675f4cb55464ef218fbe21bfe6309cc6187a Mon Sep 17 00:00:00 2001
From: Florent Pruvost <florent.pruvost@inria.fr>
Date: Thu, 22 Mar 2018 17:44:26 +0100
Subject: [PATCH] simgrid.h does not exist anymore in recent simgrid

---
 modules/find/FindSIMGRID.cmake | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

diff --git a/modules/find/FindSIMGRID.cmake b/modules/find/FindSIMGRID.cmake
index 6d0d04e..f586c55 100644
--- a/modules/find/FindSIMGRID.cmake
+++ b/modules/find/FindSIMGRID.cmake
@@ -134,7 +134,7 @@ if( (NOT PKG_CONFIG_EXECUTABLE) OR (PKG_CONFIG_EXECUTABLE AND NOT SIMGRID_FOUND)
 
   # Try to find the simgrid header in the given paths
   # -------------------------------------------------
-  set(SIMGRID_hdrs_to_find "simgrid.h;simgrid_config.h")
+  set(SIMGRID_hdrs_to_find "simgrid_config.h")
 
   # call cmake macro to find the header path
   if(SIMGRID_INCDIR)
-- 
GitLab