From: Gereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Date: Fri, 23 Apr 2021 21:50:02 +0000 (+0200)
Subject: Add missing dependency for CaDiCaL (#6431)
X-Git-Tag: cvc5-1.0.0~1840
X-Git-Url: https://git.libre-soc.org/?a=commitdiff_plain;h=335eedb9096db8d4654486f015449621fb146eaa;p=cvc5.git

Add missing dependency for CaDiCaL (#6431)

This PR adds the dependency of the CaDiCaL cmake target on the external project CaDiCaL-EP if it is not found in the system.
---

diff --git a/cmake/FindCaDiCaL.cmake b/cmake/FindCaDiCaL.cmake
index 7c70a066c..9f8289cb9 100644
--- a/cmake/FindCaDiCaL.cmake
+++ b/cmake/FindCaDiCaL.cmake
@@ -106,4 +106,5 @@ if(CaDiCaL_FOUND_SYSTEM)
   message(STATUS "Found CaDiCaL ${CaDiCaL_VERSION}: ${CaDiCaL_LIBRARIES}")
 else()
   message(STATUS "Building CaDiCaL ${CaDiCaL_VERSION}: ${CaDiCaL_LIBRARIES}")
+  add_dependencies(CaDiCaL CaDiCaL-EP)
 endif()