#ifndef SIMGRID_PLUGINS_DVFS_H_
#define SIMGRID_PLUGINS_DVFS_H_
+#include <simgrid/config.h>
#include <simgrid/forward.h>
#include <xbt/base.h>
#ifndef SIMGRID_PLUGINS_ENERGY_H_
#define SIMGRID_PLUGINS_ENERGY_H_
-#include <xbt/base.h>
+#include <simgrid/config.h>
#include <simgrid/forward.h>
+#include <xbt/base.h>
SG_BEGIN_DECL
#ifndef SIMGRID_PLUGINS_FILE_SYSTEM_H_
#define SIMGRID_PLUGINS_FILE_SYSTEM_H_
+#include <simgrid/config.h>
#include <simgrid/forward.h>
#include <xbt/base.h>
#include <xbt/dict.h>
#ifndef SIMGRID_PLUGINS_LIVE_MIGRATION_H_
#define SIMGRID_PLUGINS_LIVE_MIGRATION_H_
+#include <simgrid/config.h>
#include <simgrid/forward.h>
#include <xbt/base.h>
#ifndef SIMGRID_PLUGINS_LOAD_H_
#define SIMGRID_PLUGINS_LOAD_H_
+#include <simgrid/config.h>
#include <simgrid/forward.h>
#include <xbt/base.h>