Question

所以我试图在these instructions之后从github为Coq安装Homotopy Type Theory库。运行命令etc/install_coq.sh会使它在遇到错误之前弄乱一堆文件，如下所示：

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

显然Makefile.am中存在一个或多个错误，根据我在谷歌上搜索的内容，它可能与不正确的空白有关。自己运行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

导致问题的原因是什么？

Answer 1

Makefile.am通常与Makefile.in配对;在获得可用的实际Makefile之前，需要使用automake或configure处理这些内容。

如果您有脚本＆＃34; autogen.sh＆＃34;在您的顶级源目录中，运行它首先，然后配置：

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

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