mirrors/z3
3
0
Fork 0
mirror of https://github.com/Z3Prover/z3 synced 2026-07-03 13:56:08 +00:00
Code Activity

Oops: wasn't including compiler_warnings because I wasn't doing git add from base directory.

Browse source
This commit is contained in:
David Detlefs 2026-06-17 08:37:23 -07:00
parent 360bad9a35
commit abaa46aa88
1 changed files with 3 additions and 0 deletions
Download patch file Download diff file Expand all files Collapse all files

3
cmake/compiler_warnings.cmake
View file

@ -20,6 +20,9 @@ set(CLANG_ONLY_WARNINGS
"-Wno-c++98-compat" "-Wno-c++98-compat"
"-Wno-c++98-compat-pedantic" "-Wno-c++98-compat-pedantic"
"-Wno-zero-length-array" "-Wno-zero-length-array"
"-Wc99-extensions"
"-Wsuggest-override"
"-Winconsistent-missing-override"
) )
set(MSVC_WARNINGS "/W3") set(MSVC_WARNINGS "/W3")