Environment Variables Used by GNATprove

This section describes the environment variables that affect how GNATprove operates.

• GPR_TOOL - This environment variable is intended to be used in GPR project files, to specify project settings that depend on the tool. Leaving this variable unset when invoking GNATprove sets the value to gnatprove. See also Having Different Switches for Compilation and Verification.

• TMPDIR - This variable should contain a path. It controls the place of storage for certain internal artifacts. See also GNATprove and Network File Systems or Shared Folders.

The following environment variables are for internal use, or use by developers, and shouldn’t be set when GNATprove is run:

• GNSA_ROOT, GNAT2WHY_RAC_INFO, GNAT2WHY_RAC_TRACE, GNATPROVE_SOCKET, GNATPROVE_SEMAPHORE