CoqIDE在Windows上制作

Question

我安装了GnuWin32 Make和GnuWin32 Coreutils，并安装在PATH上。这有效：

coq_makefile -f _CoqProject -o Makefile.coq
make -f Makefile.coq Frap.vo

但如果我在CoqIDE中打开Frap.v，并执行编译＆gt;制作，我看到的唯一输出是：

Compilation output:

这是预期的吗？我怎样才能让Coq建立这个？