Hello Paul Menzel,
I'd like you to reexamine a change. Please visit
https://review.coreboot.org/c/libhwbase/+/27139
to look at the new patch set (#3).
Change subject: Makefile: Revise support for generated sources ......................................................................
Makefile: Revise support for generated sources
Handle generated source files more independently from normal source files. This allows mixing of generated specs with existing source bodies.
As with the source file list, we filter the list of generated sources, `$(name)-gens`: All spec (.ads) files that have a respective body file (.adb), are moved into `$(name)-extra-gens`. This way, we can still add these files as dependencies to all pre-existing source files.
Change-Id: I5479c436f39088ae9d0ebddf9a97446be0f191f3 Signed-off-by: Nico Huber nico.h@gmx.de --- M Makefile M Makefile.proof 2 files changed, 16 insertions(+), 9 deletions(-)
git pull ssh://review.coreboot.org:29418/libhwbase refs/changes/39/27139/3