在unix上生成z3时出错：找不到-lrt

在生成过程中，我遇到以下错误：

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

消息是

/usr/lib//i586 suse linux/bin/ld:找不到-lrt

---

随后是关于

-lpthread-lm-lc

的类似消息，问题可能是

-static

选项。请参见以下线程：

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

---

顺便说一句，我向“不稳定”分支提交了一个更新。新的构建系统对于Linux机器来说或多或少是完整的。唯一缺少的是ML绑定。如果您可以尝试一下，那就太好了。小更新：我刚刚在

openSUSE-12.2-DVD-i586

（32位）和

linuxmint-13-肉桂-DVD-64位上编译了“不稳定”分支。我不得不修复一些额外的编译和链接问题。以下是更新分支的链接。在注释掉Makefile z3中的LDFLAGS_EXTRA=-static之后，成功构建了该分支。