mirror of https://github.com/AdaCore/gprconfig_kb.git synced 2026-02-12 13:06:50 -08:00

Go to file

Artur Pietrek edf3c5e816 Merge branch 'mr/backport/release-25.2-issue-eng/toolchain/gnat-llvm_241' into '25.2'

[25.2] Backport of eng/toolchain/gnat-llvm#241

See merge request eng/gpr/gprconfig_kb!71

2025-04-25 17:45:35 +00:00

2025-04-25 14:27:23 +02:00

COPYING3

2020-07-15 11:49:24 +02:00

COPYING.RUNTIME

2020-07-15 11:49:24 +02:00

README.md

2022-02-04 11:34:12 +01:00

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.