Former-commit-id: 8cbfec4bc3
8cbfec4bc3
@ -40,7 +40,7 @@ set_target_properties(sylvan PROPERTIES
ARCHIVE_OUTPUT_DIRECTORY_DEBUG ${CMAKE_CURRENT_BINARY_DIR}
ARCHIVE_OUTPUT_DIRECTORY_RELEASE ${CMAKE_CURRENT_BINARY_DIR})
target_link_libraries(sylvan m pthread)
target_link_libraries(sylvan m pthread gmp)
if(UNIX AND NOT APPLE)
target_link_libraries(sylvan rt)