mirror of
https://github.com/MariaDB/server.git
synced 2025-01-22 14:54:20 +01:00
22 lines
537 B
Text
22 lines
537 B
Text
|
set(util_srcs
|
||
|
kibbutz
|
||
|
mempool
|
||
|
partitioned_counter
|
||
|
threadpool
|
||
|
)
|
||
|
|
||
|
add_library(util SHARED ${util_srcs})
|
||
|
add_library(util_static STATIC ${util_srcs})
|
||
|
maybe_add_gcov_to_libraries(util util_static)
|
||
|
set_target_properties(util_static PROPERTIES POSITION_INDEPENDENT_CODE ON)
|
||
|
target_link_libraries(util LINK_PUBLIC ${CMAKE_THREAD_LIBS_INIT} ${EXTRA_SYSTEM_LIBS})
|
||
|
add_dependencies(util install_tdb_h)
|
||
|
add_dependencies(util_static install_tdb_h)
|
||
|
|
||
|
install(
|
||
|
FILES partitioned_counter.h
|
||
|
DESTINATION include
|
||
|
)
|
||
|
|
||
|
add_subdirectory(tests)
|