diff options
author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2021-04-23 23:50:02 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-23 21:50:02 +0000 |
commit | 335eedb9096db8d4654486f015449621fb146eaa (patch) | |
tree | 1eb3987eebee0e71f91f4ceedc61295097011a18 /cmake | |
parent | 557e5658048b48b8908675b632fc977f78c71605 (diff) |
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.
Diffstat (limited to 'cmake')
-rw-r--r-- | cmake/FindCaDiCaL.cmake | 1 |
1 files changed, 1 insertions, 0 deletions
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() |