diff options
Diffstat (limited to 'src/eigen-1-disable-os-check.patch')
-rw-r--r-- | src/eigen-1-disable-os-check.patch | 26 |
1 files changed, 26 insertions, 0 deletions
diff --git a/src/eigen-1-disable-os-check.patch b/src/eigen-1-disable-os-check.patch new file mode 100644 index 0000000..ce9c620 --- /dev/null +++ b/src/eigen-1-disable-os-check.patch @@ -0,0 +1,26 @@ +This file is part of MXE. +See index.html for further information. + +--- a/cmake/EigenDetermineOSVersion.cmake 2012-12-05 16:53:46.305932163 +0100 ++++ b/cmake/EigenDetermineOSVersion.cmake 2012-12-05 16:56:15.937936644 +0100 +@@ -27,19 +27,7 @@ + + 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() ++ set(${OS_VERSION} "unknownWin" PARENT_SCOPE) + else() + set(${OS_VERSION} ${CMAKE_SYSTEM} PARENT_SCOPE) + endif() |