ignore building examples of buddy

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