安装 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 安装