diff --git a/CMakeLists.txt b/CMakeLists.txt
index e9a6409898deca8273b055822e75008ef62a6b54..d27bec0edfa9ba131e7d750f5c96efaa51fb8fc2 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