smpi_init_options needs to be public

diff --git a/include/smpi/smpi.h b/include/smpi/smpi.h
index bc9dcb7..3ec0953 100644 (file)
--- a/include/smpi/smpi.h
+++ b/include/smpi/smpi.h
@@ -977,6 +977,7 @@ XBT_PUBLIC MPI_Comm smpi_process_comm_self();
 XBT_PUBLIC MPI_Info smpi_process_info_env();
 XBT_PUBLIC void* smpi_process_get_user_data();
 XBT_PUBLIC void smpi_process_set_user_data(void*);
 XBT_PUBLIC MPI_Info smpi_process_info_env();
 XBT_PUBLIC void* smpi_process_get_user_data();
 XBT_PUBLIC void smpi_process_set_user_data(void*);

+XBT_PUBLIC void smpi_init_options();

 
 XBT_PUBLIC void smpi_execute_flops(double flops);
 XBT_PUBLIC void smpi_execute(double duration);
 
 XBT_PUBLIC void smpi_execute_flops(double flops);
 XBT_PUBLIC void smpi_execute(double duration);

diff --git a/src/smpi/include/smpi_config.hpp b/src/smpi/include/smpi_config.hpp
index 6919cce..ac9bfc0 100644 (file)
--- a/src/smpi/include/smpi_config.hpp
+++ b/src/smpi/include/smpi_config.hpp
@@ -9,7 +9,6 @@
 #include "src/internal_config.h" // HAVE_PAPI
 #include <xbt/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 **************************************/
 extern XBT_PRIVATE simgrid::config::Flag<double> _smpi_cfg_host_speed;
 XBT_PRIVATE void smpi_check_options();
 /********************************** Configuration of SMPI **************************************/
 extern XBT_PRIVATE simgrid::config::Flag<double> _smpi_cfg_host_speed;