From e8cca9765941b1ef98273c9a9ad2cb6d3f0798a4 Mon Sep 17 00:00:00 2001
From: Jaime Arias <arias@lipn.univ-paris13.fr>
Date: Thu, 13 Feb 2020 20:06:58 +0100
Subject: [PATCH] Add 'include' folder of spot
---
CMakeLists.txt | 3 +++
1 file changed, 3 insertions(+)
diff --git a/CMakeLists.txt b/CMakeLists.txt
index 44887aa..bda527f 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
--
GitLab