From a1ecf7a51861b97b86b1f94cc864d41161750666 Mon Sep 17 00:00:00 2001
From: Arseniy Obolenskiy <gooddoog@student.su>
Date: Fri, 1 Aug 2025 17:27:54 +0200
Subject: [PATCH] Add USE_COVERAGE option to configure

---
 cmake/configure.cmake | 2 ++
 1 file changed, 2 insertions(+)

diff --git a/cmake/configure.cmake b/cmake/configure.cmake
index 59bdfe674..1a095c48c 100644
--- a/cmake/configure.cmake
+++ b/cmake/configure.cmake
@@ -28,6 +28,8 @@ set(CMAKE_CXX_STANDARD_REQUIRED ON)
 
 set(CMAKE_COMPILE_WARNING_AS_ERROR ON)
 
+option(USE_COVERAGE "Enable coverage instrumentation" OFF)
+
 if(USE_COVERAGE)
   set(CMAKE_INSTALL_RPATH "${CMAKE_BINARY_DIR}/ppc_onetbb/install/lib")
 else()