GPRCONFIG KB
February 4, 2022 ยท View on GitHub
GPRCONFIG KB is a knowledge base for configuring GPR toolchains, used by GPRbuild and GPR2 projects.
Installation and use
Please refer to corresponding project documentation for instructions on how gprconfig_kb is used by that project.
Doc & Examples
The documentation for this knowledge base is available online.