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 的新构建系统不使用静态库。如果您喜欢冒险，可以尝试使用新构建系统的“不稳定”分支。以下是使用它构建 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