From 335eedb9096db8d4654486f015449621fb146eaa Mon Sep 17 00:00:00 2001 From: Gereon Kremer Date: Fri, 23 Apr 2021 23:50:02 +0200 Subject: [PATCH] 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. --- cmake/FindCaDiCaL.cmake | 1 + 1 file changed, 1 insertion(+) 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() -- 2.30.2