How to install Coq libraries without installation guide?

Question

Many Coq libraries on github does not provide install guides / etc. documentation. Maybe there are general way / ways to install such libraries? For example, x86proved https://github.com/nbenton/x86proved How to install this?

Answer 1

没有办法说出来。但根据经验，你应该寻找三种不同形式的文件：

• Make
• Makefile
• _CoqProject（最近的发展）

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

1. 如果有Make个文件，那么您应该阅读coq_makefile命令的文档。例如，在大多数情况下，键入以下命令序列将是有意义的：

   coq_makefile -f Make -o Makefile.coq
make -f Makefile.coq
make -f Makefile.coq install

2. 如果已经有一个名为F的文件有makefile作为子字符串，那么我会尝试

   make -f F
make -f F install

3. 如果有_CoqProject个文件，请按照与上述相同的说明进行操作。

4. 如果上述情况都不适用，那么我会尝试以下方法：

   ls *.v > MyMake
coq_Makefile -f MyMake -o Makefile.coq

然后按照案例1 /上面的步骤进行。

您还应该检查{宠物项目是否在coq opam archive中可用。在这种情况下，this repository包含经过测试的安装说明，采用稍微高级的语法。在撰写这些专栏之日，这不适用于Nick Benton的x86proved。

我希望这会有所帮助。我没有尝试过Nick Benton的开发，但似乎README.txt文件说源是在src子目录中。反过来，src子目录包含Makefile，因此我将按照上面的说明继续操作。请随时向我们通报您的进度，您的经验对其他开发者来说将是有价值的。