我正在尝试将使用 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 上运行。
你的，斯特凡