From 36d4554a8b13b10d651f614299de05220626bcb5 Mon Sep 17 00:00:00 2001
From: Martin Quinson <martin.quinson@loria.fr>
Date: Wed, 5 Dec 2012 21:21:18 +0100
Subject: [PATCH] we need that files to compile on windows

---
 buildtools/Cmake/DefinePackages.cmake | 3 +++
 1 file changed, 3 insertions(+)

diff --git a/buildtools/Cmake/DefinePackages.cmake b/buildtools/Cmake/DefinePackages.cmake
index f41f069fac..0331064e5f 100644
--- a/buildtools/Cmake/DefinePackages.cmake
+++ b/buildtools/Cmake/DefinePackages.cmake
@@ -83,6 +83,9 @@ set(EXTRA_DIST
   src/xbt/mmalloc/mmtrace.awk
   src/xbt/mmalloc/mrealloc.c
   src/xbt/setset_private.h
+  src/win32/config.h
+  src/xbt/win32_ucontext.c
+  include/xbt/win32_ucontext.h
   tools/tesh/run_context.h
   tools/tesh/tesh.h
   )
-- 
2.20.1