gcc 4.8 をインストールし、推奨されるインフラストラクチャ ライブラリを使用して問題を軽減しています。
デフォルト設定を使用してgmpをビルドおよびインストール->共有ライブラリは/usr/local/libに移動しましたislをビルドしましたが、インストールされたgmp共有ライブラリがmake checkで見つかりません。とにかくislをインストールすると、共有ライブラリは/usr/local/libに移動しました。cloog をビルドしましたが、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のインストールです