ghdl install (tgingold): gnatmake не найден, но существует: usr/local/gnat/bin/gnatmake

Question

Пользователь MacOs: Sierra

Vhdl пользователь тоже.

• Я установил ada-gpl_2017: хорошо (путь написан в.bash_profile)

• Я установил ghdl через git tgingold и вернул странную ошибку:

Я сделал:

./configure --prefix=/usr/local                       # ok
make                                                  # ok
sudo make install                                     # not ok

Последний шаг возвращает следующую ошибку:

make: gnatmake: No such file or directory

Но он существует в /usr/local/gnat/bin/gnatmake, Не могли бы вы помочь мне решить эту ошибку?

Answer 1

Ваша главная проблема была, вероятно, в том, что /usr/local/gnat/bin каталог не был частью вашего PATH переменная окружения (переменная окружения, используемая вашей оболочкой для поиска исполняемых файлов, например, gnatmake). Решение простое: добавьте этот каталог в PATH переменная окружения при вызове make:

sudo make PATH=$PATH:/usr/local/gnat/bin install