Rechercher une page de manuel
gprconfig
Langue: en
Version: 2010-01-03 (ubuntu - 24/10/10)
Section: 1 (Commandes utilisateur)
NAME
gprconfig - multi-language extensible build toolSYNOPSIS
- 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.Contenus ©2006-2024 Benjamin Poulain
Design ©2006-2024 Maxime Vantorre