Неправильная версия отладчика для загрузки GPS (GDB)
Я использую GPS версии 6.2.2 (20160527) с GNAT Pro 7.4.2 (20160527-49). Отладчик, который поставляется с этой версией GNAT, - это 7.10 для GNAT Pro 7.4.2 [rev=gdb-7.10-ref-125-g3d2bab0].
Используя GPS, способ запустить сеанс отладки - перейти в Debug->Initialize. Когда я делаю это, консоль отладчика выскакивает внизу. Typing show version в консоль возвращает отладчик ОС для Red Hat Enterprise Linux (RHEL6), который поставляется вместе с ОС, в отличие от правильной версии, поставляемой с GNAT.
Тем не менее, набрав which gdb в командной строке (за пределами GPS) возвращает правильную версию отладчика, установленного с GNAT.
Как получить GPS для запуска правильного отладчика? Откуда он получает отладчик ОС?