我有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 构建它？
问问题
365 次