cabal：遇到缺少的依赖项：z3 >=4.1.0

Question

我试图从它的存储库安装窃听工具。当我cabal configure从文件夹内部运行时，我得到：

cabal: Encountered missing dependencies:
z3 >=4.1.0

我已经使用sudo apt-get install z3. 我添加/usr/bin到路径变量，其中似乎安装了 z3。当我跑步时z3 -version，我得到了Z3 version 4.8.0 - 64 bit。配置命令仍然给出错误。

Answer 1

缺少的依赖项不是z3您从中获得的程序，apt-get而是z3haskell 库。您可以像安装任何其他 cabal 库一样安装它。通常，您设置一个沙箱，然后运行cabal install --only-dependencies或使用更现代的新构建运行cabal new-build，它会为您管理所有这些。