我正在尝试在cygwin中安装frama-c并获得以下错误，但我无法解释它们。你能帮我解释一下吗？或者给我一个链接，我可以从哪里得到这些信息？
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都是最新版本
答案 0 :(得分：0)
您是否有机会使用Coq 8.4？我遇到了一些非常相似的事情，我的问题是当PATH中的标准目录中没有安装Coq时缺少选项-coqlib <your Coq installation directory>。在Coq 8.3中曾经存在特定的错误消息，但它似乎在Coq 8.4中消失了。
如果你可以在Makefile中找到运行coqdep命令的行，并用coqdep -coqlib ~/coq84pl1替换它（用你的Coq安装目录替换~/coq84pl1），它可以工作。但是您还需要将此标志添加到其他与Coq相关的命令（例如coqc），否则可能会在以后出现其他问题。