cabal: Обнаружены недостающие зависимости: z3> = 4.1.0

Question

Я пытался установить wiretap-tools из своего хранилища.Когда я запускаю cabal configure из папки, я получаю:

cabal: Encountered missing dependencies:
z3 >=4.1.0

Я уже установил z3, используя sudo apt-get install 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, и он управляет всем этим для вас.