From 91fb17e2713aa8c7f2070a7ced9f7032e4314774 Mon Sep 17 00:00:00 2001
From: Arnaud Giersch <arnaud.giersch@univ-fcomte.fr>
Date: Thu, 5 Dec 2019 10:32:33 +0100
Subject: [PATCH] Missing include.

---
 src/smpi/include/smpi_config.hpp | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/src/smpi/include/smpi_config.hpp b/src/smpi/include/smpi_config.hpp
index 512816f47d..6919ccef69 100644
--- a/src/smpi/include/smpi_config.hpp
+++ b/src/smpi/include/smpi_config.hpp
@@ -6,7 +6,9 @@
 #ifndef SMPI_CONFIG_HPP
 #define SMPI_CONFIG_HPP
 
+#include "src/internal_config.h" // HAVE_PAPI
 #include <xbt/config.hpp>
+
 XBT_PUBLIC void smpi_init_options();
 XBT_PRIVATE void smpi_check_options();
 /********************************** Configuration of SMPI **************************************/
-- 
2.20.1