core_gather_headers() gather_srcs(infrt_src SRCS )