0

安装 gcc 4.8,我使用推荐的基础设施库来减少可能的问题。

使用默认设置构建并安装 gmp--> 共享库到 /usr/local/lib 构建 isl,但 make check 找不到已安装的 gmp 共享库。无论如何安装了isl,共享库去了/usr/local/lib。构建了 clog,但 make check 也找不到安装的 isl 或 gmp 共享库

所以我进入 cloog-0.18.0/.libs/ 并建立了到 /usr/local/lib/libisl.so.10.1.1 和 libgmp.so.3 的软链接并重新运行 make check 没有任何失败。

这些是从 gcc ftp 服务器下载的推荐基础结构 tarball,并使用默认配置构建和安装。为什么“make check”可能找不到它刚刚安装的共享库?

应该补充:这是一个新的 Ubuntu 安装

4

1 回答 1

0

您需要确保 /usr/local/lib 在您的全局共享库配置中——检查 /etc/ld.so.conf——/usr/local/lib 应该在那里或它包含的文件之一中。如果不是,请添加它并ldconfig以 root 身份运行以重建缓存。

于 2013-05-14T14:17:00.450 回答