M1芯片Mac安装Haskell的Z3绑定失败，求解决方案

问题根源 #

你遇到的编译错误是Z3版本与Haskell z3绑定包的API不兼容导致的：

• Z3 4.12+版本对核心API做了变更，将原布尔常量宏Z3_TRUE/Z3_FALSE重命名为Z3_L_TRUE/Z3_L_FALSE
• Hackage上官方的z3绑定包尚未适配这一变更，因此编译时会出现未声明的错误
• Cabal安装时提示找不到头文件/库，是因为环境变量未正确传递，导致Cabal无法定位Homebrew安装的Z3文件

修复方案 #

方案一：安装兼容的旧版Z3 #

通过Homebrew指定安装Z3 4.11版本（与现有绑定包兼容）：

1. 安装旧版Z3：

brew install z3@4.11

2. 配置环境变量，让系统优先使用该版本：

# 临时生效，可添加到~/.zshrc或~/.bashrc永久生效
export PATH="/opt/homebrew/opt/z3@4.11/bin:$PATH"
export LIBRARY_PATH="/opt/homebrew/opt/z3@4.11/lib:$LIBRARY_PATH"
export CPATH="/opt/homebrew/opt/z3@4.11/include:$CPATH"

3. 重新安装Haskell绑定：

# Stack方式
stack install z3

# Cabal方式
cabal install z3

方案二：使用适配新版Z3的绑定分支 #

如果希望保留Z3 4.12.2，可使用社区维护的适配分支：

1. 克隆更新后的绑定仓库：

git clone https://github.com/LeventErkok/z3.git
cd z3

2. 切换到适配Z3 4.12+的分支（以仓库最新兼容分支为准）：

git checkout z3-4.12-compat

3. 本地安装绑定包：

# Stack方式
stack install --extra-lib-dirs=/opt/homebrew/lib --extra-include-dirs=/opt/homebrew/include

# Cabal方式
cabal install --lib --extra-lib-dirs=/opt/homebrew/lib --extra-include-dirs=/opt/homebrew/include

补充：Cabal路径配置优化 #

如果Cabal仍无法定位Z3文件，可在项目根目录创建cabal.project文件，添加以下内容：

package z3
  extra-include-dirs: /opt/homebrew/include
  extra-lib-dirs: /opt/homebrew/lib

之后再执行cabal install z3即可。

内容的提问来源于stack exchange，提问作者RunTimeError31415