From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Fri, 17 Aug 2018 23:57:20 +0000 (-0700)
Subject: cmake: Disable W-suggest-override for unit tests.
X-Git-Tag: cvc5-1.0.0~4595
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=67b04a7cb5dd7efd72065e4aad7700b6714400fb;p=cvc5.git

cmake: Disable W-suggest-override for unit tests.
---

diff --git a/CMakeLists.txt b/CMakeLists.txt
index a2f0ac3d8..f39af023d 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -38,7 +38,7 @@ set(PACKAGE_NAME "${PROJECT_NAME}")
 
 #-----------------------------------------------------------------------------#
 
-set (CMAKE_MODULE_PATH ${PROJECT_SOURCE_DIR}/cmake)
+set(CMAKE_MODULE_PATH ${PROJECT_SOURCE_DIR}/cmake)
 set(CMAKE_C_STANDARD 99)
 set(CMAKE_CXX_STANDARD 11)
 
diff --git a/test/unit/CMakeLists.txt b/test/unit/CMakeLists.txt
index 57a50f52e..b29c705c1 100644
--- a/test/unit/CMakeLists.txt
+++ b/test/unit/CMakeLists.txt
@@ -16,6 +16,9 @@ macro(cvc4_add_unit_test is_white name)
   if(${is_white})
     target_compile_options(${name} PRIVATE -fno-access-control)
   endif()
+  # Disable the Wsuggest-override warnings for the unit tests. CxxTest generates
+  # code that does not properly add the override keyword to runTest().
+  target_compile_options(${name} PRIVATE -Wno-suggest-override)
 endmacro()
 
 macro(cvc4_add_unit_test_black name)