Intereting Posts

如何获得ac程序的操作码从另一个线程中终止C ++中的线程 #define远，#define靠近Windef.h Windows XP x86检查构build？如何在指定的时间自动打开计算机如何知道Linux调度程序时间片？系统（$ cmd）在PHP中超时从cygwin程序的输出中剥离^ M 删除Powershell中file2中存在的行如何添加gstreamer 1.0video元素到qt5应用程序将DMA缓冲区写入内存映射文件使用Powershell更新Active Directory中的Active Directory用户属性无法使用CPAN安装Perl模块（带有XAMPP的Windows XP Server）将二进制数据转换为hex的shell脚本？如何获得文件名命令行参数的完整path？

CoqIDE在Windows上制作

我有GnuWin32 Make和GnuWin32 Coreutils ，安装在我的PATH 。这工作：

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

但是如果我在CoqIDE中打开Frap.v ，并且编译> Make ，我看到的唯一的输出是这样的：

 Compilation output:

这是预期的吗？我如何获得Coq来构build这个？