table of contents
other versions
- wheezy 2011-2
- jessie 2014dfsg-1
- testing 2015-6
- unstable 2015-6
- experimental 2016-3
gprconfig(1) | Programmer's Manual | gprconfig(1) |
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).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.2010-01-03 | Debian |