Commit 34bfa2df authored by Augustin Degomme's avatar Augustin Degomme

fix MC build

parent 376c140a
Pipeline #193599 failed with stages
in 27 minutes and 25 seconds
......@@ -52,7 +52,7 @@ static void setup_child_environment(int socket)
Session::Session(const std::function<void()>& code)
{
#if HAVE_SMPI
xbt_assert(smpi_privatize_global_variables != SmpiPrivStrategies::MMAP,
xbt_assert(smpi_cfg_privatization() != SmpiPrivStrategies::MMAP,
"Please use the dlopen privatization schema when model-checking SMPI code");
#endif
......
......@@ -11,6 +11,9 @@
#include <boost/algorithm/string.hpp> /* trim */
#include <boost/tokenizer.hpp>
#if SIMGRID_HAVE_MC
#include "src/mc/mc_config.hpp"
#endif
#if defined(__APPLE__)
# include <AvailabilityMacros.h>
......
......@@ -24,10 +24,6 @@
#include <fstream>
#include <sys/stat.h>
#if SIMGRID_HAVE_MC
#include "src/mc/mc_config.hpp"
#endif
#if SG_HAVE_SENDFILE
#include <sys/sendfile.h>
#endif
......
Markdown is supported
0% or
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment