diff --git a/CMakeLists.txt b/CMakeLists.txt index a9c3371..e8bedda 100644 --- a/CMakeLists.txt +++ b/CMakeLists.txt @@ -15,7 +15,7 @@ set(SOURCES ) add_library(flint ${SOURCES}) -if (NOT (${CMAKE_SYSTEM_NAME} STREQUAL "OpenBSD") AND NOT (${CMAKE_SYSTEM_NAME} STREQUAL "FreeBSD")) +if ((${CMAKE_SYSTEM_NAME} STREQUAL "Linux")) target_link_libraries(flint bsd) endif()