tree da554edf4f5a7f5206269e1ae51d3b1851937891
parent 9ab962151161ea8f98b6bff67a89c4bde3ef9814
author Gilles Peskine <Gilles.Peskine@arm.com> 1581536062 +0100
committer Gilles Peskine <Gilles.Peskine@arm.com> 1582139609 +0100

Generalize everest support to generic 3rdparty support

Other third-party components can now be added by just adding lines to
the definitions of @thirdparty_header_dirs and
@thirdparty_source_dirs.

No semantic change. The output does not change at all.