What's the name of the executable to run GNAT GPS in linux?

ada, gnat, gnat-gps

Solution

For GNAT GPL on Linux and Mac OS X, there's a script `gps` which sets up environment variables as required by the actual executable `gps_exe`, and then calls it.

For Debian (squeeze, at any rate), there's just `/usr/bin/gnat-gps`.

Problem

Original source