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 はどちらも最新バージョンです。