GnuWin32 MakeとGnuWin32 Coreutilsがインストールされており、PATH. これは機能します：
coq_makefile -f _CoqProject -o Makefile.coq
make -f Makefile.coq Frap.vo
しかしFrap.v、CoqIDE で開いてCompile > Make を実行すると、次のような出力しか表示されません。
Compilation output:
これは期待されていますか？Coqにこれをビルドさせるにはどうすればよいですか?