CoqIDE Make на Windows
У меня есть 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 построить это?