Ubuntu 22.04下Cabal构建MateFun项目遇Z3未定义引用错误求助

可能的原因及对应解决步骤 #

1. 匹配Z3版本与haskell-z3包兼容性 #

你遇到的undefined reference错误核心原因是haskell-z3包版本与Z3 4.6.0不兼容——Z3_optimize_assert_and_track和Z3_optimize_get_unsat_core属于Z3较新版本新增的函数，高版本haskell-z3包会依赖这些接口，但你使用的Z3 4.6.0未提供。

解决方式：

• 查看当前安装的haskell-z3版本：cabal info z3
• 查找与Z3 4.6.0兼容的haskell-z3旧版本（比如z3-0.6.0，需确认版本匹配性）
• 指定版本安装：cabal install z3-0.6.0 --lib

2. 修正Z3库路径参数 #

你之前使用的--extra-lib-dirs=/usr/bin/是错误的——/usr/bin存放可执行文件，Z3的动态库（.so）位于lib目录下：

• 若手动编译安装Z3到默认路径，正确构建命令：

  cabal build --extra-lib-dirs=/usr/local/lib --extra-include-dirs=/usr/local/include
  

• 若通过系统包安装Z3，路径通常为/usr/lib/x86_64-linux-gnu和/usr/include，尝试：

  cabal build --extra-lib-dirs=/usr/lib/x86_64-linux-gnu --extra-include-dirs=/usr/include
  

3. 确保Z3动态库正确编译 #

如果是手动源码编译Z3 4.6.0，必须生成动态库才能被haskell-z3调用：

# 进入Z3源码目录重新编译
mkdir -p build && cd build
cmake .. -DBUILD_SHARED_LIBS=ON
make -j$(nproc)
sudo make install

编译完成后执行ls /usr/local/lib/libz3.so，确认动态库存在。

4. 改用系统默认Z3包（推荐） #

Ubuntu 22.04仓库提供的Z3 4.8.x版本兼容性更好，直接安装可避免路径和版本问题：

sudo apt update && sudo apt install z3 libz3-dev

安装完成后重新执行cabal install z3 --lib，再尝试cabal build。

5. 用Stack构建项目（替代Cabal） #

Stack会自动管理依赖版本与环境，稳定性更高：

# 安装Stack
sudo apt install haskell-stack
# 进入项目目录执行构建
stack build

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