Man Linux: Main Page and Category List

NAME

       gprconfig - multi-language extensible build tool

SYNOPSIS

       gprconfig  [-v]  [-q] [-o] [--target=target] [--show-targets] [--batch]
              [--db]                                                   [--db-]
              [--config=language[,version[,runtime[,path[,name]]]]]

DESCRIPTION

       Creates configuration files for gprbuild(1).

       If --batch is not given, displays a menu of compilers to choose from.

SEE ALSO

       GPRBuild   User’s   Guide,   available   in  Info,  PDF,  and  HTML  in
       /usr/share/doc/gprbuild-doc, installed by the gprbuild-doc package.

AUTHOR

       This manual page was written by  Stephen  Leake  <stephen_leake@stephe-
       leake.org>  for  the  Debian  project,  but  it  can  be used for other
       purposes as well.