ubuntu - z3 在 Ubuntu 12.04 x86 上有未解析的符号

Question

从 Ubuntu 12.04 x86 安装的 Z3http://research.microsoft.com/projects/z3/z3-3.2.tar.gz似乎有未解析的符号。运行一个使用 z3 绑定的简单应用程序会导致：

./app: symbol lookup error: /PATH/TO/z3/lib/libz3.so: undefined symbol: GOMP_critical_name_start

Answer 1

3.2 是一个过时的版本，您可能希望在 codeplex 上查看该站点：http: //z3.codeplex.com/

以下是编译说明：http: //z3.codeplex.com/SourceControl/latest#README