我想在LLVM项目（从它的样本项目复制的文件目录）使用Z3。 我现在就是这样做简直是包括Z3 ++。1h而不需在源文件中添加任何其他代码，并想通过编译。 但我不知道如何处理修改Makefile文件，使其工作。 我试了一下报错了几次类似“异常处理禁用，使用-fexceptions使”等链接错误。 能有人给我如何改变makefile文件，使其工作的提示？
Answer 1:
这不是很清楚，我该makefile文件被修改，我只能为Z3说话。 C ++的例子并没有自己的Makefile，但它在Z3 /编译/ Makefile定义称为cpp_example $（EXE_EXT）和_ex_cpp_example。 通过在这些目标的命令中使用的变量在Z3 /建造/ config.mk和如果需要-fexceptions，它可以被添加到CXXFLAGS变量那里。
粗略地说，运行Z3至libz3.so需求的路径时的例子应该需要-I /path/to/z3++.h -I /path/to/z3.h -L /path/to/libz3.so和-lz3和要在PATH（Windows）中，LD_LIBRARY_PATH（Linux）的，或DYLD_LIBRARY_PATH（OSX）。
文章来源: Include Z3 in a C++ project
