projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: 05a53a2) | patch
Refactor CLN dependency & Cleanup (#6251)
authorGereon Kremer <gereon.kremer@cs.rwth-aachen.de>
Thu, 1 Apr 2021 18:20:53 +0000 (20:20 +0200)
committerGitHub <noreply@github.com>
Thu, 1 Apr 2021 18:20:53 +0000 (18:20 +0000)
commit3f4b33522bd04b509b73267550d24c44e61998ce
tree8065d0d2c20ec8d4005880d0565589efd3dc210btree
parent05a53a2ac405bcd18a84024247145f161809c3b0commit | 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.
19 files changed:
CMakeLists.txt diff | blob | history
cmake/FindANTLR3.cmake diff | blob | history
cmake/FindCLN.cmake diff | blob | history
cmake/FindCaDiCaL.cmake diff | blob | history
cmake/FindCryptoMiniSat.cmake diff | blob | history
cmake/FindDummy.cmake.template diff | blob | history
cmake/FindGMP.cmake diff | blob | history
cmake/FindGTest.cmake diff | blob | history
cmake/FindKissat.cmake diff | blob | history
cmake/FindPoly.cmake diff | blob | history
cmake/FindSymFPU.cmake diff | blob | history
cmake/deps-helper.cmake diff | blob | history
cmake/deps-utils/Poly-patch-cmake.patch [new file with mode: 0644] blob
configure.sh diff | blob | history
src/CMakeLists.txt diff | blob | history
src/api/python/CMakeLists.txt diff | blob | history
src/main/CMakeLists.txt diff | blob | history
test/api/CMakeLists.txt diff | blob | history
test/unit/CMakeLists.txt diff | blob | history