core_gather_headers()

gather_srcs(infrt_src SRCS)