projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 08eb393) | patch
Add support for checking if a `-Wno` flag exists before using it (#7514)
authorAndrew V. Jones <andrewvaughanj@gmail.com>
Thu, 28 Oct 2021 18:06:38 +0000 (19:06 +0100)
committerGitHub <noreply@github.com>
Thu, 28 Oct 2021 18:06:38 +0000 (18:06 +0000)
commit8043314ad3a38f8764eb7850a50a387d0696d978
tree62198c5926811cab344c6f79c83e2e3da79d0399tree
parent08eb3932ec2e666c40275c8eab1ca49a61158943commit | diff
Add support for checking if a `-Wno` flag exists before using it (#7514)

This PR resolves that issue by checking that a -W<error-class> flag exists before trying to use the -Wno-<error-class> flag.
CMakeLists.txt diff | blob | history
cmake/Helpers.cmake diff | blob | history
src/api/python/CMakeLists.txt diff | blob | history
src/parser/CMakeLists.txt diff | blob | history
test/unit/CMakeLists.txt diff | blob | history