在C ++项目中包含Z3

Question

我想在llvm项目中使用Z3（从其示例项目复制的文件目录）。我现在所做的只是简单地包含z3 ++。h而不在源文件中添加任何其他代码并想要传递编译。但我不知道如何处理修改makefile以使其工作。我尝试了几次报告错误，如“禁用异常处理，使用-fexceptions启用”和其他链接错误。有人可以给我一个关于如何更改makefile以使其工作的提示吗？

Answer 1

我不清楚哪个makefile被修改，我只能说Z3。 c ++示例没有自己的makefile，但它在z3 / build / Makefile中有一个名为cpp_example $（EXE_EXT）和_ex_cpp_example的目标。这些目标中的命令使用的变量位于z3 / build / config.mk中，如果需要-fexceptions，则可以将其添加到CXXFLAGS变量中。

粗略地说，该示例应该需要-I /path/to/z3++.h.I /path/to/z3.h -L /path/to/libz3.so和-lz3以及当运行Z3时libz3的路径.so需要在PATH（Windows），LD_LIBRARY_PATH（Linux）或DYLD_LIBRARY_PATH（OSX）中。