Coq作为持续集成的一部分

Question

在我目前的项目中，我们使用Java和Coq。我们使用maven进行持续集成设置。我们想检查coq文件作为其中的一部分。即我们需要：

• 如果没有安装coq，请在本地下载并安装coq（就像maven对gwt这样的框架一样）
• 检查coq文件是否正确

有人试过设置吗？怎么办呢？

Answer 1

我不建议从CI Build中自动执行此操作。相反，它看起来更像是一个机器配置依赖。

在这种情况下，依靠Puppet和Vagrant等工具来确保您的开发环境符合给定的上下文是值得的，因此您的代码需要将其作为前提或 - 更好 - 处理 - 确保它在PATH中可用。

Answer 2

我知道这是一个非常老的问题，但是我有不同的答案。

我有一个类似的CI设置，需要安装构建工具。在某些情况下，例如在bitbucket上，我会预先构建包含工具的docker映像，并在每次更新工具时更新构建配置。在bitbucket中，此方法之所以有效，是因为要构建的软件包的源代码指向用于构建它的特定docker映像版本，这可以确保在保留较旧的docker映像的情况下仍可以构建较早的版本。

否则，我只是使用wget或curl编写工具安装脚本，以根据需要进行下载。