.\" Adapted from the usage string in the source file.

.TH GNATSPARK 1 "21 MAY 2016" "GNU Ada Tools" "GNAT Programming Studio"
.SH NAME
gnatspark \- a spark wrapper understanding GNAT projects
.SH SYNOPSIS
\fBgnatspark\fR
[\|\fIaction\fR\|]
\fB\-P\fIproject\fR[\fI.gpr\fR]
[\|\fB\-X\fIvar=value\fR .\|.\|.\|]
[\|\fIfile\fR\|]
[\|\fIargument\fR .\|.\|.\|]
.SH DESCRIPTION
Run a spark tool according to a GNAT project.
.TP
\fIaction\fR
spark tool, among:
examiner, metaexaminer, pogs, simplifier, sparkclean
sparkmake, sparkformat, sparksimp, zombiescope, victor
.TP
\fB\-P\fIproject\fR[\fI.gpr\fR]
GNAT project file
.TP
\fB\-X\fIvariable=value\fR
set project external variable
.TP
\fIfile\fR\|]
source to process
.TP
[\|\fIargument\fR .\|.\|.\|]
switches for the underlying tool
.TP
\fB\-h\fR, \fB\-help\fR, \fB\-\-help\fR
display usage then exit
.SH "SEE ALSO"
\fBspark\fR (1),
\fBgprbuild\fR (1),
and the full gprbuild manual at
\fIhttp://docs.adacore.com/gprbuild-docs/html/gprbuild_ug.html\fR.
.SH AUTHOR
The GNAT Programming Studio has been written and is maintained by Ada
Core Technologies. If you are interested in getting commercial support
for this software, please contact sales@gnat.com.

This manual page has been written by
Nicolas Boulenguez <nicolas@debian.org>
for Debian GNU/Linux.