问题描述
在make期间,我收到一个错误:
During make, I get an error with:
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
的类似消息.
followed by similar messages about -lpthread -lm -lc
.
推荐答案
问题可能出在 -static
选项上.请参阅以下线程:http://www.linuxforums.org/forum/programming-scripting/35135-cant-find-some-libraries.html
The problem may be the -static
option. See the following thread:http://www.linuxforums.org/forum/programming-scripting/35135-cant-find-some-libraries.html
Z3 的新构建系统不使用静态库.如果您喜欢冒险,可以尝试使用新构建系统的unstable"分支.以下是使用它构建 Z3 的说明:
The new build system for Z3 does not use static libraries. If you are feeling adventurous, you can try the "unstable" branch which uses the new build system. Here are the instruction to build Z3 using it:
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
这篇关于在 unix 上构建 z3 时出错:找不到 -lrt的文章就介绍到这了,希望我们推荐的答案对大家有所帮助,也希望大家多多支持!