cabal：遇到缺少的依赖项：z3＆gt; = 4.1.0

Question

我尝试从其存储库安装wiretap-tools。当我从文件夹中运行cabal configure时，我得到：

cabal: Encountered missing dependencies:
z3 >=4.1.0

我已经使用sudo apt-get install z3安装了z3。我将/usr/bin添加到路径变量，其中似乎安装了z3。当我运行z3 -version时，我得到Z3 version 4.8.0 - 64 bit。 configure命令仍然会出错。

Answer 1

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