gcc 找不到共享库 libisl.so答案

【问题标题】：gcc unable to find shared library libisl.sogcc 找不到共享库 libisl.so
【发布时间】：2016-02-17 11:28:57
【问题描述】：

我在一个集群上本地安装了 gcc 5.1 版，它的操作系统为 CentOS，我没有 root 访问权限（所以我不能使用任何命令，如“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

任何有关如何解决此问题的想法都将受到高度赞赏。

【问题讨论】：

您使用的是什么操作系统？如果 Ubuntu（或其家族）试试这个sudo sudo apt-get install libisl-dev
@Michi 我正在使用 CentOS.. 而且我没有 root 访问权限，所以我不能使用 sudo...
你能运行这个ls -al /usr/lib/libisl.so* 吗？
@Michi 它显示ls: cannot access /usr/lib/libisl.so: No such file or directory..
如果你尝试使用默认的GCC 编译会发生什么？ gcc program.c -o program ?

标签： gcc isl

【解决方案1】：

按照https://gcc.gnu.org/wiki/InstallingGCC的说明进行操作

具体来说，不要在一些非标准路径中手动安装 ISL，因为 GCC 需要在运行时找到它的共享库。

最简单的解决方案是使用download_prerequisites 脚本将GMP、MPFR、MPC 和ISL 源代码添加到GCC 源代码树中，这将导致GCC 自动为您构建它们，并静态链接到它们。

【讨论】：

我无法在我正在工作的集群节点上使用 ftp...所以 ./contrib/download_prerequisites 无法正常工作...我该如何解决这个问题？跨度>
更具体地说，我收到以下错误：--2015-11-16 18:49:34-- ftp://gcc.gnu.org/pub/gcc/infrastructure/mpfr-2.4.2.tar.bz2 (try: 3) => mpfr-2.4.2.tar.bz2' Connecting to gcc.gnu.org|209.132.180.131|:21... failed: Connection timed out. Retrying.
看脚本，并不复杂。找到 URL，手动下载包，在 GCC 源代码树中解压它们并创建脚本将创建的符号链接。
对于新手来说使用这个脚本肯定更简单！
我不知道为什么人们坚持以艰难的方式去做，而这样做更难，更难使用生成的编译器！ :-)

【解决方案2】：

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

下载islavailable here的源码
解压并安装：./configure && make && make install
cp /usr/local/lib/libisl* /usr/lib
- 注意：符号链接也可以：
  
  $ cd /usr/lib
  
  $ ln -s /usr/local/lib/libisl.so.10 libisl.so.10
你可以在 Debian 发行版中做同样的事情：

apt-get 安装 libisl-dev
调整共享库的引用：

$ cp /usr/local/lib/libisl* /usr/lib
- 注意：符号链接也可以：
  
  $ cd /usr/lib
  
  $ ln -s /usr/local/lib/libisl.so.10 libisl.so.10

【讨论】：