Provided by: gnat-gps_6.1.2016-1ubuntu1_amd64 bug

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.