z3 - 如何在linux下从Z3编译示例代码

Question

我下载了 z3 for linux 版本，并试图让它在 linux 下工作，但它无法编译（我正在使用 gcc 编译示例代码）。我从 gcc 编译器获得了未定义引用的列表。我相信我在编译代码时指定了 lib 文件位置。任何人都可以提供我需要的库以使其正确编译。

Answer 1

Z3 for linux 编译使用

gcc (Ubuntu/Linaro 4.6.1-9ubuntu3) 4.6.1

如果您使用不兼容的 gcc 版本，您可能会遇到链接错误。

您是否设法编译了 Z3 附带的 C 示例？它位于：z3/examples/c

要编译它，你必须执行

./build.sh

如果它不起作用，可能是因为您使用的是不兼容的 GCC 版本。

Answer 2

在xubuntu 11.10（相同的 gcc 版本）中，我-lz3-gmp在. 这不是 gcc 第一次向我投掷，因为不是在最后。test_capi.c-l

gcc -fopemmp -o test_capi -I ../../include -L ../../lib test_capi.c -lz3-gmp

它工作正常。