diff --git a/CMakeLists.txt b/CMakeLists.txt
index 72c2eb7e64e8c2cb9cde65e0c56ad210b15a6c72..bbd7e9874e42845a47fd0b0cb8cb436604585b60 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -26,7 +26,7 @@ add_subdirectory(${PARSER_DIR})
 
 # build spot if it is not installed on the system
 find_library(SPOT_LIBRARY "spot")
-
+find_library(BDDX_LIBRARY "bddx")
 
 if(NOT SPOT_LIBRARY)
   include(ExternalProject)
@@ -46,6 +46,7 @@ if(NOT SPOT_LIBRARY)
   include_directories("${SPOT_DIR}/include")
 else ()
  message(STATUS "Found spot: ${SPOT_LIBRARY}")
+ message(STATUS "Found bddx: ${BDDX_LIBRARY}")
 
 
  find_path(SPOT_INCLUDE_PATH "spot")