diff options
| author | Daniel Kirchner <daniel@ekpyron.org> | 2018-08-08 22:31:17 +0800 |
|---|---|---|
| committer | Daniel Kirchner <daniel@ekpyron.org> | 2018-08-09 01:02:59 +0800 |
| commit | 9b4546c487bc59e790716a11531e660110ca81e9 (patch) | |
| tree | e3e4cefaac9e53dd494f021eaaab5e15e6b87941 /cmake/FindCVC4.cmake | |
| parent | 551343ae3eb1b3f1575d91a4f7021c0f9529d5bd (diff) | |
| download | dexon-solidity-9b4546c487bc59e790716a11531e660110ca81e9.tar.gz dexon-solidity-9b4546c487bc59e790716a11531e660110ca81e9.tar.zst dexon-solidity-9b4546c487bc59e790716a11531e660110ca81e9.zip | |
Add workarounds for building against CVC4 on ArchLinux.
Diffstat (limited to 'cmake/FindCVC4.cmake')
| -rw-r--r-- | cmake/FindCVC4.cmake | 10 |
1 files changed, 9 insertions, 1 deletions
diff --git a/cmake/FindCVC4.cmake b/cmake/FindCVC4.cmake index 90b7ebd5..900a123e 100644 --- a/cmake/FindCVC4.cmake +++ b/cmake/FindCVC4.cmake @@ -1,8 +1,16 @@ if (USE_CVC4) find_path(CVC4_INCLUDE_DIR cvc4/cvc4.h) - find_library(CVC4_LIBRARY NAMES cvc4 ) + find_library(CVC4_LIBRARY NAMES cvc4) include(FindPackageHandleStandardArgs) find_package_handle_standard_args(CVC4 DEFAULT_MSG CVC4_LIBRARY CVC4_INCLUDE_DIR) + if(CVC4_FOUND) + find_library(CLN_LIBRARY NAMES cln) + if(CLN_LIBRARY) + set(CVC4_LIBRARIES ${CVC4_LIBRARY} ${CLN_LIBRARY}) + else() + set(CVC4_LIBRARIES ${CVC4_LIBRARY}) + endif() + endif() else() set(CVC4_FOUND FALSE) endif() |