gcc 无法找到共享库 libisl.so

Question

我在没有 root 访问权限的操作系统为 CentOS 的集群上本地安装了 gcc 5.1 版（所以我不能使用任何像“ sudo”这样的命令）。（安装的全局 gcc 版本是 4.4）。我还修改了路径变量，以在路径变量的开头包含本地版本的路径。之前，当我尝试使用全局版本安装 boost 时，它运行良好。但是现在，当我尝试安装 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 自动为您构建它们，并静态链接到它们。

Answer 2

我有同样的问题。我解决如下：

1. 在这里下载 isl 的源代码

2. 解压并安装： ./configure && make && make install

3. cp /usr/local/lib/libisl* /usr/lib

   • 注意：符号链接也有效：

     $ cd /usr/lib

     $ ln -s /usr/local/lib/libisl.so.10 libisl.so.10

4. 您可以在 Debian 发行版中执行相同的操作：

   apt-get 安装 libisl-dev

5. 调整共享库的引用：

   $ cp /usr/local/lib/libisl* /usr/lib

   • 注意：符号链接也有效：

     $ cd /usr/lib

     $ ln -s /usr/local/lib/libisl.so.10 libisl.so.10