Jerome Lambourg 7b2ac7b80d Modify the way the knowledge base is embedded in libgpr2 ...

The embedded KB is now generated as Ada source, allowing simplification
in the KB parser to retrieve it, and proper traceability in gprbuild to
ensure it's updated when needed.

Fixes eng/gpr/gpr-issues#250

2024-03-27 08:25:17 +00:00

..

tool

Modify the way the knowledge base is embedded in libgpr2

2024-03-27 08:25:17 +00:00

collect_kb.gpr

Modify the way the knowledge base is embedded in libgpr2

2024-03-27 08:25:17 +00:00

gpr2-kb-embedded.ads

Modify the way the knowledge base is embedded in libgpr2

2024-03-27 08:25:17 +00:00