mirror of
https://github.com/genodelabs/genode.git
synced 2024-12-20 14:13:09 +00:00
c2884a6e63
Issue #3072
33 lines
994 B
Makefile
33 lines
994 B
Makefile
SANITIZER_PORT_DIR := $(call select_from_ports,sanitizer)
|
|
|
|
SANITIZER_DIR := $(SANITIZER_PORT_DIR)/src/lib/sanitizer
|
|
|
|
SRC_CC = sanitizer_allocator.cc \
|
|
sanitizer_common.cc \
|
|
sanitizer_common_libcdep.cc \
|
|
sanitizer_coverage_libcdep.cc \
|
|
sanitizer_coverage_mapping_libcdep.cc \
|
|
sanitizer_flag_parser.cc \
|
|
sanitizer_flags.cc \
|
|
sanitizer_genode.cc \
|
|
sanitizer_libc.cc \
|
|
sanitizer_persistent_allocator.cc \
|
|
sanitizer_printf.cc \
|
|
sanitizer_stackdepot.cc \
|
|
sanitizer_stacktrace.cc \
|
|
sanitizer_stacktrace_libcdep.cc \
|
|
sanitizer_stacktrace_printer.cc \
|
|
sanitizer_suppressions.cc \
|
|
sanitizer_symbolizer.cc \
|
|
sanitizer_symbolizer_libbacktrace.cc \
|
|
sanitizer_symbolizer_libcdep.cc \
|
|
sanitizer_symbolizer_posix_libcdep.cc
|
|
|
|
INC_DIR += $(SANITIZER_DIR)
|
|
|
|
vpath %.cc $(SANITIZER_DIR)/sanitizer_common
|
|
|
|
SHARED_LIB = yes
|
|
|
|
CC_CXX_WARN_STRICT =
|