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

diff --git a/CMakeLists.txt b/CMakeLists.txt
index a2f0ac3d89de4ec4919ef8b5edc6b5216e1d7db7..f39af023dca52bcdd8c868019ef006ae71955800 100644 (file)
--- 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 57a50f52ece1a3bb760b7f8cb2920b562966143e..b29c705c14668765324c788481b98b2fc07da699 100644 (file)
--- 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)