Change wsock32 for ws2_32 (new one)

diff --git a/buildtools/Cmake/MakeLibWin.cmake b/buildtools/Cmake/MakeLibWin.cmake
index 733f6ca..fea8907 100644 (file)
--- a/buildtools/Cmake/MakeLibWin.cmake
+++ b/buildtools/Cmake/MakeLibWin.cmake
@@ -19,8 +19,8 @@ else(MSVC)
     endif(CMAKE_COMPILER_IS_GNUCC)\r
 endif(MSVC)\r
 \r
     endif(CMAKE_COMPILER_IS_GNUCC)\r
 endif(MSVC)\r
 \r

-set(GRAS_DEP "wsock32")\r
-set(SIMGRID_DEP "wsock32")\r
+set(GRAS_DEP "ws2_32")\r
+set(SIMGRID_DEP "ws2_32")\r

 \r
 if(HAVE_PCRE_LIB)\r
        SET(SIMGRID_DEP "${SIMGRID_DEP} -lpcre")\r
 \r
 if(HAVE_PCRE_LIB)\r
        SET(SIMGRID_DEP "${SIMGRID_DEP} -lpcre")\r