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

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

ubuntu compilation z3

z3在Ubuntu 12.04 x86上有未解析的符号,ubuntu,compilation,symbols,z3,Ubuntu,Compilation,Symbols,Z3,Z3从http://research.microsoft.com/projects/z3/z3-3.2.tar.gz在Ubuntu 12.04 x86上似乎有未解析的符号。运行使用z3绑定的简单应用程序会导致： /app:symbol lookup error:/PATH/TO/z3/lib/libz3.so:undefined symbol:GOMP_critical_name_start3.2是一个过时的版本，您可能希望在codeplex上查看该站点：以下是编译说明：

Z3从

http://research.microsoft.com/projects/z3/z3-3.2.tar.gz

在Ubuntu 12.04 x86上似乎有未解析的符号。运行使用z3绑定的简单应用程序会导致：

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

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

以下是编译说明：