bionic (1) gnatspark.1.gz

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.