GNATSPARK(1)

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.