From d39c28fa8f3e692e74401d5054d44312c37cc076 Mon Sep 17 00:00:00 2001
From: Joan Sola <jsola@iri.upc.edu>
Date: Tue, 11 Oct 2022 14:46:00 +0200
Subject: [PATCH] option to build gmock

---
 CMakeLists.txt | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/CMakeLists.txt b/CMakeLists.txt
index 685499123..ad24a3dee 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -49,6 +49,10 @@ IF(NOT BUILD_TESTS)
   OPTION(BUILD_TESTS "Build Unit tests" ON)
 ENDIF(NOT BUILD_TESTS)
 
+IF(NOT BUILD_GMOCK)
+  OPTION(BUILD_GMOCK "Build GMock" OFF)
+ENDIF(NOT BUILD_GMOCK)
+
 IF(NOT BUILD_DEMOS)
   OPTION(BUILD_DEMOS "Build Demos" ON)
 ENDIF(NOT BUILD_DEMOS)
-- 
GitLab