From 0f9219702e204df9a2bb256ce1a429cc21a0aab0 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Wed, 20 Jun 2018 11:50:02 +0200
Subject: [PATCH] Fix include for <simgrid/config.h>.

---
 simgrid_features.h | 10 +++++++++-
 1 file changed, 9 insertions(+), 1 deletion(-)

diff --git a/simgrid_features.h b/simgrid_features.h
index 2cfb227..d808ba2 100644
--- a/simgrid_features.h
+++ b/simgrid_features.h
@@ -1,7 +1,15 @@
 #ifndef SIMGRID_FEATURES_H
 #define SIMGRID_FEATURES_H
 
-#include <simgrid_config.h>
+#if defined(__has_include)
+#  if __has_include(<simgrid/config.h>)
+#    include <simgrid/config.h>
+#  else
+#    include <simgrid_config.h>
+#  endif
+#else
+#  warning "__has_include is not defined"
+#endif
 
 #if !defined(SIMGRID_VERSION) || SIMGRID_VERSION < 31800UL // == SG < 3.18 == //
 #  error "Unsupported SimGrid version.  Need version >= 3.18"
-- 
2.39.5