diff --git a/CMakeLists.txt b/CMakeLists.txt
index 44887aa06a9d6636ae913cb8827a048e54ce6d4e..bda527f6cff36c76e9dbfb9d827d8470478d9186 100644
--- a/CMakeLists.txt
+++ b/CMakeLists.txt
@@ -44,6 +44,9 @@ if(NOT SPOT_LIBRARY)
 else ()
   message(STATUS "Found spot: ${SPOT_LIBRARY}")
   message(STATUS "Found bddx: ${BDDX_LIBRARY}")
+
+  find_path(SPOT_INCLUDE_PATH "spot")
+  include_directories("${SPOT_INCLUDE_PATH}")
 endif()
 
 # add source folder