Merge pull request #69856 from tchaikov/wip-seastar-sanitizer

crimson: keep seastar's sanitizers in lockstep with WITH_ASAN

Reviewed-by: Matan Breizman <mbreizma@redhat.com>
This commit is contained in:
Kefu Chai 2026-07-03 15:30:31 +08:00 committed by GitHub
commit 440cba650a
No known key found for this signature in database
GPG Key ID: B5690EEEBB952194

View File

@ -475,6 +475,11 @@ if(WITH_CRIMSON)
set(Seastar_API_LEVEL "6" CACHE STRING "" FORCE)
set(Seastar_IO_URING ${HAVE_LIBURING} CACHE BOOL "" FORCE)
set(Seastar_DEPRECATED_OSTREAM_FORMATTERS OFF CACHE BOOL "" FORCE)
if(WITH_ASAN)
set(Seastar_SANITIZE "ON" CACHE STRING "" FORCE)
else()
set(Seastar_SANITIZE "OFF" CACHE STRING "" FORCE)
endif()
if(Seastar_DPDK)
find_package(dpdk QUIET)
if(NOT DPDK_FOUND)