本文介绍了在 unix 上构建 z3 时出错:找不到 -lrt的处理方法,对大家解决问题具有一定的参考价值,需要的朋友们下面随着小编来一起学习吧!

问题描述

在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的文章就介绍到这了,希望我们推荐的答案对大家有所帮助,也希望大家多多支持!

07-23 15:23
查看更多