On Fri, 26 Sept 2025 at 11:06, Bruce Richardson <[email protected]> wrote: > > I just pushed an experiment: > > - single headers install: > > https://github.com/david-marchand/dpdk/commit/headers_rework~2 > > - chkincs rework (still not using configure_file): > > https://github.com/david-marchand/dpdk/commit/headers_rework~1 > > > > WDYT? > > > > Those changes seem good to me. > > One final idea/suggestion (apologies for the many suggestions here). Rather > than having a new script and dependency tracking for the header copies, > would it be easier to do the header copy as part of the existing C file > generation script? It's already writing a C file to an output directory, > would it make sense to have that script just copy the header file to the > same location too?
We still need something to stage "indirect" headers that are not preprocessed by this generation script. -- David Marchand
