我试图从它的存储库安装窃听工具。当我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。配置命令仍然给出错误。