From d0a4460ef138dfbfca4705ed256aa6509691c1db Mon Sep 17 00:00:00 2001
From: Jaime Arias Almeida <arias@lipn.univ-paris13.fr>
Date: Sat, 14 Jan 2023 14:51:12 +0100
Subject: [PATCH] ignore building examples of buddy

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

diff --git a/CMakeLists.txt b/CMakeLists.txt
index e9a6409..d27bec0 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -12,6 +12,9 @@ set(CMAKE_CXX_EXTENSIONS OFF)
 # add BuDDy
 set(BUDDY_DIR "${CMAKE_CURRENT_SOURCE_DIR}/libs/buddy")
 message(STATUS "Building BuDDy parser ...")
+
+option(BUDDY_BUILD_EXAMPLES "Build BuDDy Examples" ON)
+set(BUDDY_BUILD_EXAMPLES OFF)
 add_subdirectory(${BUDDY_DIR})
 
 # add pn parser
-- 
GitLab