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.

The documentation for this knowledge base is available online.

Name		Name	Last commit message	Last commit date
Latest commit History 739 Commits
db		db
COPYING.RUNTIME		COPYING.RUNTIME
COPYING3		COPYING3
README.md		README.md