diff options
| author | Gereon Kremer <gereon.kremer@cs.rwth-aachen.de> | 2021-04-20 18:22:47 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2021-04-20 16:22:47 +0000 |
| commit | 29d19c62ff1a65665f852134c24c17cca45251cd (patch) | |
| tree | 340d16de74c1aae13b84688ad00f0b820ba0ef25 /cmake/FindPoly.cmake | |
| parent | d6a50e3ebeea29abaa5a2aee624590490fa75dda (diff) | |
Properly link Poly against GMP (#6398)
This PR fixes a linker issue with libpoly and static builds where Poly and GMP would be linked against in the wrong order.
Diffstat (limited to 'cmake/FindPoly.cmake')
| -rw-r--r-- | cmake/FindPoly.cmake | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/cmake/FindPoly.cmake b/cmake/FindPoly.cmake index 1259459a2..4521605b9 100644 --- a/cmake/FindPoly.cmake +++ b/cmake/FindPoly.cmake @@ -93,7 +93,6 @@ if(NOT Poly_FOUND_SYSTEM) DEPENDEES install COMMAND ${CMAKE_COMMAND} -E remove_directory <BINARY_DIR>/test/ ) - add_dependencies(Poly-EP GMP) set(Poly_INCLUDE_DIR "${DEPS_BASE}/include/") set(Poly_LIBRARIES "${DEPS_BASE}/lib/libpicpoly.a") @@ -107,6 +106,7 @@ set_target_properties(Poly PROPERTIES IMPORTED_LOCATION "${Poly_LIBRARIES}") set_target_properties( Poly PROPERTIES INTERFACE_INCLUDE_DIRECTORIES "${Poly_INCLUDE_DIR}" ) +target_link_libraries(Poly INTERFACE GMP) add_library(Polyxx STATIC IMPORTED GLOBAL) set_target_properties(Polyxx PROPERTIES IMPORTED_LOCATION "${PolyXX_LIBRARIES}") |