/* do not include execinfo.h directly since it's not always available.
Instead, copy the parts we need (and fake when it's not there) */
-extern int backtrace (void **__array, int __size);
+XBT_PUBLIC(int) backtrace (void **__array, int __size);
/* required ISO-C standard facilities */
#include <errno.h>
*/
/* we need this symbol here, even if it breaks a bit the module separation */
-XBT_PUBLIC long int gras_os_getpid(void);
+XBT_PUBLIC(long) int gras_os_getpid(void);
/** @brief different kind of errors */
typedef enum {
thread_error /**< error while [un]locking */
} xbt_errcat_t;
-XBT_PUBLIC const char * xbt_ex_catname(xbt_errcat_t cat);
+XBT_PUBLIC(const char *) xbt_ex_catname(xbt_errcat_t cat);
/** @brief Structure describing an exception */
typedef struct {