LLVM项目中的Z3，＆＃34;错误：禁用异常处理，使用-fexceptions启用＆＃34;

Question

Z3-4.3.2，ubuntu12.04.64

我有一个LLVM项目在没有Z3的情况下运行良好，Z3编译配置了“-fno-exceptions”。但是现在我想将Z3的求解器模块添加到我的项目中，有“错误：禁用异常处理，使用-fexceptions启用”。此问题与

相同

Include Z3 in a C++ project

在此之前，Z3使用默认配置成功编译。为了编译LLVM项目，我使用“-fno-exceptions”（在build / config.mk中）重新编译Z3，但是，在重新编译Z3时，与编译的LLVM项目存在相同的错误。

解决此问题的任何提示，或Z3都无法使用“-fno-exceptions”编译

Answer 1

Z3使用异常，因此无法使用-fno-exceptions进行编译。