diff -rupN eigen-3.1.2/eigen-eigen-5097c01bcdc4/cmake/EigenDetermineOSVersion.cmake eigen-3.1.2-new/eigen-eigen-5097c01bcdc4/cmake/EigenDetermineOSVersion.cmake --- eigen-3.1.2/eigen-eigen-5097c01bcdc4/cmake/EigenDetermineOSVersion.cmake 2012-11-05 22:22:49.000000000 +0100 +++ eigen-3.1.2-new/eigen-eigen-5097c01bcdc4/cmake/EigenDetermineOSVersion.cmake 2013-03-01 23:03:26.732533050 +0100 @@ -26,21 +26,5 @@ function(DetermineShortWindowsName WIN_V endfunction() function(DetermineOSVersion OS_VERSION) - if (WIN32) - file (TO_NATIVE_PATH "$ENV{COMSPEC}" SHELL) - exec_program( ${SHELL} ARGS "/c" "ver" OUTPUT_VARIABLE ver_output) - - string(REGEX MATCHALL "[0-9]+" - ver_list "${ver_output}") - list(GET ver_list 0 _major) - list(GET ver_list 1 _minor) - - set(win_num_version ${_major}.${_minor}) - DetermineShortWindowsName(win_version "${win_num_version}") - if(win_version) - set(${OS_VERSION} ${win_version} PARENT_SCOPE) - endif() - else() - set(${OS_VERSION} ${CMAKE_SYSTEM} PARENT_SCOPE) - endif() + set(${OS_VERSION} ${CMAKE_SYSTEM} PARENT_SCOPE) endfunction()