Makefile的困难

所以我试图从these instructions以后从github安装Coq的同伦型理论库。运行etc/install_coq.sh将它关闭的命令一堆文件搞乱它击中一个错误使前：Makefile的困难

$ make clean 
make: *** No rule to make target `clean'. Stop.

显然有一个或内Makefile.am存在更多的bug，并根据我读过，而谷歌搜索的问题这很可能与不正确的空白有关。运行make clean自己产生了同样的事情：

make: *** No rule to make target `clean'. Stop.

同时运行make -f Makefile.am clean产量：

Makefile.am:4: *** missing separator. Stop.

线4-6的文件中只是：

if make_hoqide 
    bin_SCRIPTS += hoqide 
endif

什么是错是造成问题？

2016-02-28 7132208

Makefile.am通常与Makefile.in配对;在获得可用的真实Makefile之前，需要使用automake或configure进行处理。

如果你有在您的顶级源目录中的脚本“autogen.sh”，运行第一，然后配置：

$ ./autogen.sh 
$ ./configure 
$ make

这是，事实上，第3步的说明你链接到。也许install_coq.sh脚本没有找到你需要的所有依赖关系？

2016-02-29 03:35:00

回答