我无法在 Raspberry PI 3 (Raspbian) 上运行 GNAT Programming Studio。
我正在使用2017-06-21-raspbian-jessie.img和gnat-gpl-2016-raspberrypi-linux-linux-bin.tar.gz
解压并输入终端后sudo ./doinstall，它安装在/usr/gnat. 然后我收到一条消息说
GNAT GPL is now installed. To luanch it, you must put /usr/gnat/bin in front of your PATH enviroment variable.
然后我输入终端PATH="/usr/gnat/bin:$PATH"; export PATH。
然后我输入终端，然后gps我得到
/usr/gnat/bin/gps_exe: 1: /usr/gnat/bin/gps_exe: Syntax error: word unexpected (expecting ")")
我曾尝试在其中执行可执行文件，/usr/gnat/bin但后来我得到了
/usr/gnat/bin/gps_exe: cannot execute binary file: Exec format error
如何正确安装并能够运行它？