From 67b04a7cb5dd7efd72065e4aad7700b6714400fb Mon Sep 17 00:00:00 2001
From: Mathias Preiner <mathias.preiner@gmail.com>
Date: Fri, 17 Aug 2018 16:57:20 -0700
Subject: [PATCH] cmake: Disable W-suggest-override for unit tests.

---
 CMakeLists.txt           | 2 +-
 test/unit/CMakeLists.txt | 3 +++
 2 files changed, 4 insertions(+), 1 deletion(-)

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)
-- 
2.30.2