Awesome

GPRCONFIG KB

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.