projects / cvc5.git / commit
? search:
summary | shortlog | log | commit | commitdiff | tree
(parent: a95f897) | patch
Correct search location for CLN libs (#8070)
authorAndrew V. Jones <andrewvaughanj@gmail.com>
Mon, 7 Feb 2022 17:10:56 +0000 (17:10 +0000)
committerGitHub <noreply@github.com>
Mon, 7 Feb 2022 17:10:56 +0000 (17:10 +0000)
commit8ac648bebbbb0621d83689f66f7180ca33cf6534
tree57e66107ebea9589c451696cfbe63920eb8cd1e1tree
parenta95f8979d8bd15f11427aaf7f69663959756dd42commit | diff
Correct search location for CLN libs (#8070)

On (e.g.,) openSUSE, the default install path (via CMake) for libraries is lib64 and not lib. However, FindCLN.cmake is hard-coded to only search in lib.

This PR corrects FindCLN.cmake such that the build looks in ${CMAKE_INSTALL_LIBDIR} instead.

Signed-off-by: Andrew V. Jones andrewvaughanj@gmail.com
cmake/FindCLN.cmake diff | blob | history