如何在linux下编译Z3的示例代码

Question

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

Answer 1

Linux的Z3使用

编译

  

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之后将test_capi.c移至结束。这不是gcc第一次抨击我，因为-l不在最后。

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

它运作正常。