fix windows compilation

diff --git a/src/include/mc/datatypes.h b/src/include/mc/datatypes.h
index 0b45c09..82a1146 100644 (file)
--- a/src/include/mc/datatypes.h
+++ b/src/include/mc/datatypes.h
@@ -7,7 +7,12 @@
 #ifndef MC_DATATYPE_H
 #define MC_DATATYPE_H
 
-#include <ucontext.h>
+#ifdef _XBT_WIN32
+#  include <xbt/win32_ucontext.h>     /* context relative declarations */
+#else
+#  include <ucontext.h>           /* context relative declarations */
+#endif
+
 
 #include "xbt/misc.h"
 #include "xbt/swag.h"

diff --git a/src/include/mc/mc.h b/src/include/mc/mc.h
index d3eadea..606538a 100644 (file)
--- a/src/include/mc/mc.h
+++ b/src/include/mc/mc.h
@@ -7,7 +7,12 @@
 #ifndef _MC_MC_H
 #define _MC_MC_H
 
-#include <ucontext.h>
+#ifdef _XBT_WIN32
+#  include <xbt/win32_ucontext.h>     /* context relative declarations */
+#else
+#  include <ucontext.h>           /* context relative declarations */
+#endif
+
 
 #include "xbt/base.h"
 #include "xbt/misc.h"