Provided by: gnat-gps_6.1.2016-1ubuntu1_amd64
NAME
gnatspark - a spark wrapper understanding GNAT projects
SYNOPSIS
gnatspark [action] -Pproject[.gpr] [-Xvar=value ...] [file] [argument ...]
DESCRIPTION
Run a spark tool according to a GNAT project. action spark tool, among: examiner, metaexaminer, pogs, simplifier, sparkclean sparkmake, sparkformat, sparksimp, zombiescope, victor -Pproject[.gpr] GNAT project file -Xvariable=value set project external variable file] source to process [argument ...] switches for the underlying tool -h, -help, --help display usage then exit
SEE ALSO
spark (1), gprbuild (1), and the full gprbuild manual at http://docs.adacore.com/gprbuild- docs/html/gprbuild_ug.html.
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.