#ifndef SIMGRID_PORTABLE_H
#define SIMGRID_PORTABLE_H
-#include "src/internal_config.h"
+#include "simgrid_config.h" /* what was compiled in? */
+#include "src/internal_config.h" /* some information about the environment */
+
#include "xbt/base.h"
#include "xbt/misc.h"
#ifdef _XBT_WIN32
# include <signal.h>
#endif
-/* prototype of GNU functions */
-#if (defined(__GNUC__) && !defined(__cplusplus))
-XBT_PUBLIC(int) asprintf(char **ptr, const char *fmt, /*args */ ...);
-XBT_PUBLIC(int) vasprintf(char **ptr, const char *fmt, va_list ap);
-#endif
-
-/*
- * What we need to extract the backtrace in exception handling code
- */
+/* What we need to extract the backtrace in exception handling code */
#ifdef HAVE_EXECINFO_H
# include <execinfo.h>
#endif