gcc не может найти общую библиотеку libisl.so

Question

Я установил gcc версии 5.1 локально в кластере, имеющем ОС как CentOS, где у меня нет доступа root (поэтому я не могу использовать любые команды типа «sudo»). (Глобальная версия gcc - 4.4). Я также изменил переменную пути, чтобы включить путь к моей локальной версии в начале переменной пути. Раньше, когда я пытался установить boost с использованием глобальной версии, он работал нормально. Но теперь, когда я пытаюсь установить импульс, он показывает следующее сообщение об ошибке:

/users/home/head/cmp/soft/sft/gcc/bin/../libexec/gcc/x86_64-unknown-linux-gnu/5.1.0/cc1: error while loading shared libraries: libisl.so.10: cannot open shared object file: No such file or directory 

Любые идеи о том, как исправить это будет высоко ценится.

Answer 1

Следуйте инструкции на https://gcc.gnu.org/wiki/InstallingGCC

В частности, не устанавливайте ISL вручную в нестандартным пути, потому что GCC должен найти его общие библиотеки во время выполнения.

Самое простое решение - использовать сценарий download_prerequisites, чтобы добавить исходный код GMP, MPFR, MPC и ISL в исходное дерево GCC, что приведет к тому, что GCC автоматически создаст их для вас и статически свяжет их с ними.