+# libpthreadGC2.dll\r
+if(ARCH_32_BITS)\r
+ find_library(PATH_PTHREAD_LIB \r
+ NAMES pthreadGC2.dll\r
+ HINTS\r
+ $ENV{PATH}\r
+ PATH_SUFFIXES bin/ c/bin\r
+ )\r
+else(ARCH_32_BITS)\r
+ find_library(PATH_PTHREAD_LIB \r
+ NAMES pthreadGC2-w64.dll\r
+ HINTS\r
+ $ENV{PATH}\r
+ PATH_SUFFIXES bin/ c/bin\r
+ )\r
+endif(ARCH_32_BITS)\r
+\r
+set(GRAS_DEP "ws2_32 ${PATH_PTHREAD_LIB}")\r
+set(SIMGRID_DEP "ws2_32 ${PATH_PCRE_LIB} ${PATH_PTHREAD_LIB}")\r
+\r
+if(ARCH_32_BITS)\r
+ set(CMAKE_C_FLAGS "${CMAKE_C_FLAGS} -m32 -march=i486")\r
+else(ARCH_32_BITS)\r
+ set(CMAKE_C_FLAGS "${CMAKE_C_FLAGS} -m64")\r
+# message(FATAL_ERROR "Sorry, Simgrid fails with full 64bits for now! Please contact us.")
+endif(ARCH_32_BITS)\r