diff options
author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2021-04-01 20:20:53 +0200 |
---|---|---|
committer | GitHub <noreply@github.com> | 2021-04-01 18:20:53 +0000 |
commit | 3f4b33522bd04b509b73267550d24c44e61998ce (patch) | |
tree | 8065d0d2c20ec8d4005880d0565589efd3dc210b /cmake/FindCaDiCaL.cmake | |
parent | 05a53a2ac405bcd18a84024247145f161809c3b0 (diff) |
Refactor CLN dependency & Cleanup (#6251)
This PR migrates CLN to a new Find script and adds the possibility to install CLN if not found in the system.
Also, it does a bit of cleanup.
Diffstat (limited to 'cmake/FindCaDiCaL.cmake')
-rw-r--r-- | cmake/FindCaDiCaL.cmake | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cmake/FindCaDiCaL.cmake b/cmake/FindCaDiCaL.cmake index b9894a16d..c8490b8ca 100644 --- a/cmake/FindCaDiCaL.cmake +++ b/cmake/FindCaDiCaL.cmake @@ -55,7 +55,7 @@ if(NOT CaDiCaL_FOUND_SYSTEM) ExternalProject_Add( CaDiCaL-EP - PREFIX ${DEPS_PREFIX} + ${COMMON_EP_CONFIG} BUILD_IN_SOURCE ON URL https://github.com/arminbiere/cadical/archive/refs/tags/rel-${CaDiCaL_VERSION}.tar.gz URL_HASH SHA1=9de1176737b74440921ba86395fe5edbb3b131eb |