From 4308056b73464713c4738078881e8d012948ffbf Mon Sep 17 00:00:00 2001
From: abid <chiheb.abid@gmail.com>
Date: Thu, 29 Oct 2020 10:30:52 +0100
Subject: [PATCH] =?UTF-8?q?=09modifi=C3=A9=C2=A0:=20=20=20=20=20=20=20=20?=
=?UTF-8?q?=20CMakeLists.txt?=
MIME-Version: 1.0
Content-Type: text/plain; charset=UTF-8
Content-Transfer-Encoding: 8bit
---
CMakeLists.txt | 3 ++-
1 file changed, 2 insertions(+), 1 deletion(-)
diff --git a/CMakeLists.txt b/CMakeLists.txt
index 72c2eb7..bbd7e98 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")
--
GitLab