mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2025-06-19 12:23:38 +00:00
Code Activity

[CMake] When building with MSVC and without WARNINGS_AS_ERRORS

Browse source 
pass `/WX-` to MSVC. Although this is not necessary this duplicates
the behaviour of the old build system.
This commit is contained in:
Dan Liew 2017-04-29 12:12:54 +01:00
parent 870be706e9
commit 5893aea602
1 changed files with 7 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

7
contrib/cmake/cmake/compiler_warnings.cmake
View file

@ -44,4 +44,11 @@ if (WARNINGS_AS_ERRORS)
message(STATUS "Treating compiler warnings as errors") message(STATUS "Treating compiler warnings as errors")
else() else()
message(STATUS "Not treating compiler warnings as errors") message(STATUS "Not treating compiler warnings as errors")
# FIXME: Remove "x.." when CMP0054 is set to NEW
if ("x${CMAKE_CXX_COMPILER_ID}" STREQUAL "xMSVC")
# Warnings as errors is off by default for MSVC so setting this
# is not necessary but this duplicates the behaviour of the old
# build system.
list(APPEND Z3_COMPONENT_CXX_FLAGS "/WX-")
endif()
endif() endif()