Fix include for <simgrid/config.h>.

diff --git a/simgrid_features.h b/simgrid_features.h
index 2cfb227a84e87764b7f234b50e4ee82b02248183..d808ba29524e640b08643d999b43c993d3487810 100644 (file)
--- 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"