---
name: "gnatspark"
section: "1"
platform: "linux"
package: "gnat-gps"
version: "6.1.1-1"
release: "Debian 9 (Stretch)"
platforms: ["linux"]
url: "https://new.carta.tech/gnatspark"
---

# gnatspark(1)

a spark wrapper understanding GNAT projects

## NAME

gnatspark - a spark wrapper understanding GNAT projects

## SYNOPSIS

**gnatspark** \[*action*\] **-P***project*\[*.gpr*\] \[**-X***var=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

- **-P***project*\[*.gpr*\]

  GNAT project file

- **-X***variable=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.