diff options
author | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-10 11:35:14 -0700 |
---|---|---|
committer | Mathias Preiner <mathias.preiner@gmail.com> | 2018-09-22 16:30:59 -0700 |
commit | 52281cf25960740c46275783cf62c881fa8ef703 (patch) | |
tree | e7275fc10e1041ed6f66f4a754d15c1ead6f8fe1 /src/util | |
parent | 9a1507d1907e7a504fc67d14b4ecb0a1fa1ed10f (diff) |
cmake: Move find_package to where it is actually needed.
Diffstat (limited to 'src/util')
-rw-r--r-- | src/util/CMakeLists.txt | 6 |
1 files changed, 5 insertions, 1 deletions
diff --git a/src/util/CMakeLists.txt b/src/util/CMakeLists.txt index de748ad98..c18f45a12 100644 --- a/src/util/CMakeLists.txt +++ b/src/util/CMakeLists.txt @@ -58,6 +58,10 @@ if(CVC4_USE_GMP_IMP) list(APPEND util_src_files rational_gmp_imp.cpp integer_gmp_imp.cpp) endif() +set(GMP_HOME ${GMP_DIR}) +find_package(GMP REQUIRED) + add_library(util ${util_src_files}) target_compile_definitions(util PRIVATE -D__BUILDING_CVC4LIB) -target_link_libraries(util options) +target_link_libraries(util options ${GMP_LIBRARIES}) +target_include_directories(util PUBLIC ${GMP_INCLUDE_DIR}) |