LLVM 项目中的 Z3，“错误：异常处理已禁用，使用 -fexceptions 启用”答案

【问题标题】：Z3 in LLVM project, "error: exception handling disabled, use -fexceptions to enable"LLVM 项目中的 Z3，“错误：异常处理已禁用，使用 -fexceptions 启用”
【发布时间】：2015-04-02 13:36:03
【问题描述】：

Z3-4.3.2，ubuntu12.04.64

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

一样

Include Z3 in a C++ project

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

解决这个问题的任何提示，否则Z3不能用“-fno-exceptions”编译

【问题讨论】：

标签： exception llvm z3

【解决方案1】：

Z3 使用异常，所以你不能用 -fno-exceptions 编译它。

【讨论】：

这意味着任何使用“-fno-exceptions”编译的项目都不能在Z3上工作？