为StarExec构建Z3

在即将发布的运行中，我们希望在我们的工具Ultimate Buchi Automizer中使用Z3作为SMT解算器

首先，我使用计算机上的Z3可执行文件。在StarExec上执行失败。这是错误消息：

/usr/lib64/libstdc++.so.6: version `GLIBCXX_3.4.15' not found
/lib64/libc.so.6: version `GLIBC_2.14' not found

49541 Illegal instruction     (core dumped)

接下来，我重建Z3，但添加这一行：

LINK_FLAGS=-static
to build/config.mk.

以获取静态链接的可执行文件。它在我的计算机上工作正常，但在StarExec上，我收到以下错误消息：

/usr/lib64/libstdc++.so.6: version `GLIBCXX_3.4.15' not found
/lib64/libc.so.6: version `GLIBC_2.14' not found

49541 Illegal instruction     (core dumped)

我如何构建Z3以便在StarExec上运行它

---

我认为这个问题与CPU的编译器优化有关。当我在旧机器上构建Z3时，它也可以在StarExec上运行。

您应该使用mk_make.py脚本命令行参数来指定静态链接