在unix上构建z3时出错：找不到-lrt

Question

在make期间，我收到错误：

  

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