* Gprbuild relies on a configuration file listing all available
  compilers (auto.cgpr is used by default).  You may create such a
  file with the gprconfig tool, but if you don't gprbuild will run
  "gprconfig -o auto.cgpr" by itself (transmitting --db options).
* Gprconfig relies on a configuration directory listing all known
  compilers (/usr/share/gprconfig is used by default). You may provide
  your own modified copy with the --db options.
* In case you need to replace the knowledge base:
gprconfig --db- --db yourdb (generates default.gpr that you may check)
gprbuild yourproject.gpr (using default.gpr)
Exhaustive documentation can be found at
http://docs.adacore.com/gprbuild-docs/html/gprbuild_ug.html.

The upstream database lists various compilers in their default version
(like /usr/bin/gcc).  For each language, unless an
explicit choice is made, gprbuild selects the first detected compiler,
starting with the default version.

Be warned that, for projects mixing languages, the default behaviour
may result in mixing incompatible ABIs, for example when gcc->gcc-x.y
and gnat->gnat-z.t.

We try to ensure that this never happens Debian stable distributions.
However, you may override the default locally with
# gprconfig --config=Ada --config=C,,,,gcc-z.t
in order to create a dedicated .cgpr configuration in the current
directory before running gprbuild.

This package follows the convention for Ada library packages in Debian
documented in
http://people.debian.org/~lbrenta/debian-ada-policy.html.

The 'gpr' library is renamed 'gnatprj' in order to avoid a clash with
the 'grpc' source package (#945197).

 -- Nicolas Boulenguez <nicolas@debian.org>, Mon,  2 Dec 2019 22:45:06 +0100
