#ifndef GRAS_PORTABLE_H
#define GRAS_PORTABLE_H
-#include "simgrid_config.h"
+#include "gras_config.h"
#include "xbt/misc.h"
/*
- * win32 or win64 (__WIN32 is defined for win32 and win64 applications, __TOS_WIN__ is defined by xlC).
+ * win32 or win64 (__XBT_WIN32 is defined for win32 and win64 applications, __TOS_WIN__ is defined by xlC).
*/
-#ifdef _WIN32
+#ifdef _XBT_WIN32
# include "win32/config.h"
# include <windows.h>
-#else
-# include "gras_config.h"
#endif
#include <stdarg.h>
+#include <stdio.h>
#ifdef HAVE_ERRNO_H
# include <errno.h>
