LLVM 项目中的 Z3，"error: exception handling disabled, use -fexceptions to enable"

Question

Z3-4.3.2，ubuntu120.4.64

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

在C++项目中包含Z3

在此之前，Z3已使用默认配置成功编译。为了编译LLVM项目，我用"-fno exceptions"（在build/config.mk中）重新编译了Z3，然而，在重新编译Z3时，出现了与编译LLVM相同的错误。

任何解决这个问题的技巧，或者Z3不能用"-fno exceptions"编译

Answer 1

Z3使用异常，因此不能使用-fno异常进行编译。