gnatspark1
A spark wrapper understanding gnat projects
Usage
gnatspark [action]
-Pproject
[.gpr]
[-Xvar=value ...]
[file]
[argument ...]
Overview
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