GPRCONFIG KB is a knowledge base for configuring GPR toolchains, used by GPRbuild and GPR2 projects.
Please refer to corresponding project documentation for instructions on how gprconfig_kb is used by that project.
The documentation for this knowledge base is available online.