ошибки при установке frama-c в cygwin

Question

Я пытаюсь установить frama-c в cygwin и получить следующие ошибки, но я не могу их интерпретировать. Можете ли вы помочь мне интерпретировать их или дать мне ссылку на то, где я получаю информацию?

Preparing Wp-Coq Sources 
Uncaught exception: Util.UserError("_", _) 
Makefile:49: recipe for target `depend' failed 
make[1]: *** [depend] Error 2 
src/wp/Makefile:285: recipe for target `.make-wpcoqs' failed 
make: *** [.make-wpcoqs] Error 2 

отмечают, что coqc и OCaml являются последняя версия

Answer 1

Вы используете Coq 8.4 случайно? У меня было что-то очень похожее на меня, и моя проблема заключалась в отсутствии опции -coqlib <your Coq installation directory>, когда Coq не установлен в стандартном каталоге в PATH. В Coq 8.3 было специальное сообщение об ошибке, но, похоже, оно исчезло в Coq 8.4.

Если вы можете найти строку в Makefile, который запускает команду coqdep, и заменить его чем-то вроде coqdep -coqlib ~/coq84pl1 (заменяющего ~/coq84pl1 с вашей Coq директории установки), она могла бы работать. Но вам также необходимо добавить этот флаг к другим командам, связанным с Coq (например, coqc), или другие проблемы могут возникнуть позже.