0

我正在尝试将使用 Z3 的应用程序移植到较旧的 Linux 发行版(CentOS 5.3)。该应用程序使用共享对象 libz3.so。

在尝试构建这个对象时,第一个奇怪的现象是,Python 脚本创建的 Makefile 没有设置工作标志。但是,如果我在另一台机器上运行 Python 脚本,然后将 Makefile 复制到 CentOS 5.3 机器,我会得到 g++44 编译器来构建共享对象。

可以从应用程序访问此对象,甚至可以解决琐碎的公式。但是,如果我尝试在 CentOS 5.3 机器(我在其上构建二进制文件)上解决更复杂的错误,我们的应用程序的执行将停止并出现错误消息,例如

在抛出“is_non_qfbv_predicate::found”实例后调用终止

现在最奇怪的是,同样的二进制文件可以在另一台装有较新版本 Linux 的机器上正常工作。

我将不胜感激有关下一步做什么的任何提示,这可以帮助我使应用程序在 CentOS 5.3 上运行。

你的,斯特凡

4

0 回答 0