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 [email protected].
This manual page has been written by Nicolas Boulenguez <[email protected]> for Debian GNU/Linux.