我使用的系统没有完全安装gnat，gnu ada编译器。一个脚本（在gdb测试套件中）正在查找/usr/bin/gnatmake，并假设它可以运行ada编译。这些失败是因为链接器找不到libgnat.so。
我没有根访问权限，因此无法安装或删除。
是否有任何方法可以防止脚本在libgnat.so中找到gnatmake？我显然无法从路径中移除/usr/bin/gnatmake。
最佳答案
能否安装一个专用的工作版本的gnatmake？
如果可以，则可以在gnatmake目录中创建指向$HOME/bin工作版本的符号链接：
ln -s /path/to/real/gnatmake ~/bin/gnatmake
然后将您自己的
$HOME/bin目录插入您的$PATH：export PATH="$HOME/bin:$PATH"
现在shell将在
gnatmake中的版本之前找到您的/usr/bin版本。