如何在没有安装指南的情况下安装Coq库？

github上的许多Coq库不提供安装指南等文档。也许有安装这些库的一般方法？例如，x86演示了如何安装它？

没有办法知道。但根据经验，您应该查找三种不同形式的文件：

• Make

• Makefile

• \u COQ项目

  （用于最新开发）

根据这些条件，您可以尝试以下解决方案之一

如果存在

Make

文件，则应阅读

coq\u makefile

命令的文档。例如，在大多数情况下，键入以下命令序列是有意义的：

coq\u makefile-f Make-o makefile.coq

make-f Makefile.coq

make-f Makefile.coq安装

如果已经有一个名为F的文件将

makefile

作为子字符串，那么我会尝试

make-f

make-f-f安装

如果有一个

\u CoqProject

文件，请按照上面1/的说明进行操作

如果上述情况均不适用，我将尝试以下方法：

ls*.v>MyMake

coq\u Makefile-f MyMake-o Makefile.coq

然后按照上述案例1/进行操作

您还应该检查您的pet项目是否在中可用。在这种情况下，包含测试过的安装说明，语法稍微高级一些。在编写这些行时，这不适用于Nick Benton的

x86profed

---

我希望这有帮助。我还没有试过Nick Benton的开发，但是

README.txt

文件显示源代码在

src

子目录中。反过来，

src

子目录包含一个

Makefile

，因此我将按照上面的说明进行操作。请随时通知我们您的进度，您的经验将对其他开发人员有价值。

coq_makefile-f makefile-o makefile.coq make-f makefile.coq会导致错误“多目标”。请仔细阅读我回答中包含

coq_makefile

的那一行。

-f

选项后面的文件名是

Make

，而不是

Makefile

。