z3 - UNIX で z3 をビルドするときのエラー: -lrt が見つかりません

Question

作成中に、次のエラーが表示されます。

g++ -o bin/external/z3 obj/external/act_cache.o : : obj/external/smtlib_frontend.o obj/external/z3_log_frontend.o -lrt -lpthread -fopenmp -static

メッセージは/usr/lib/ ..... /i586-suse-linux/bin/ld: cannot find -lrt

に関する同様のメッセージが続きます-lpthread -lm -lc。

Answer 1

問題は-staticオプションかもしれません。次のスレッドを参照してください: http://www.linuxforums.org/forum/programming-scripting/35135-cant-find-some-libraries.html

Z3 の新しいビルド システムは、静的ライブラリを使用しません。冒険したい場合は、新しいビルド システムを使用する「unstable」ブランチを試すことができます。これを使用して Z3 をビルドする手順は次のとおりです。

git clone https://git01.codeplex.com/z3
cd z3
git checkout -b unstable
git pull origin unstable
autoconf
./configure
python scripts/mk_make.py
cd build
make

The git related commands can be replace with the .zip file downloaded from:
http://z3.codeplex.com/SourceControl/changeset/view/946a06cddbe4