diff options
Diffstat (limited to 'cmake/Toolchain-mingw64.cmake')
| -rw-r--r-- | cmake/Toolchain-mingw64.cmake | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cmake/Toolchain-mingw64.cmake b/cmake/Toolchain-mingw64.cmake index 1e4bb1a12..64318b59c 100644 --- a/cmake/Toolchain-mingw64.cmake +++ b/cmake/Toolchain-mingw64.cmake @@ -30,4 +30,4 @@ set(CMAKE_FIND_ROOT_PATH_MODE_PROGRAM NEVER) set(CMAKE_FIND_ROOT_PATH_MODE_LIBRARY BOTH) set(CMAKE_FIND_ROOT_PATH_MODE_INCLUDE BOTH) -set(CVC4_WINDOWS_BUILD TRUE) +set(CVC5_WINDOWS_BUILD TRUE) |