Merge branch 'development' into 'master'

make clang-tidy optional See merge request keszocze/aarith!77
keszocze · Mar 22, 2021 · c9c8e21 · c9c8e21
2 parents 58106bc + 83287b4
commit c9c8e21
Show file tree

Hide file tree

Showing 2 changed files with 4 additions and 1 deletion.
diff --git a/CMakeLists.txt b/CMakeLists.txt
@@ -6,6 +6,7 @@ option(BUILD_CORRECTNESS_EXPERIMENTS "build correctness experiments" OFF)
 option(BUILD_TESTS "build tests" ON)
 option(BUILD_EXAMPLES "build examples" ON)
 option(BUILD_DOCUMENTATION "Build documentation" OFF)
+option(USE_CLANGTIDY "Use clang-tidy" OFF)
 
 list(APPEND CMAKE_MODULE_PATH "${CMAKE_CURRENT_LIST_DIR}/lib")
 find_package(MPIR)

diff --git a/examples/CMakeLists.txt b/examples/CMakeLists.txt
@@ -1,4 +1,6 @@
-set(CMAKE_CXX_CLANG_TIDY "clang-tidy")
+if (USE_CLANGTIDY)
+    set(CMAKE_CXX_CLANG_TIDY "clang-tidy")
+endif()
 
 cmake_minimum_required(VERSION 3.13)