对于Linux和Mac OS X上的GNAT GPL版本,有一个名为gps的脚本,它会设置环境变量以满足实际可执行文件gps_exe所需的要求,然后调用它。 对于Debian(至少是squeeze版本),只需使用/usr/bin/gnat-gps即可。