Next: , Previous: Building with GPRbuild, Up: Gprbuild   [Contents][Index]

3.2 Configuring with GPRconfig