Coq作为持续集成的一部分

Question

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

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

有人尝试过设置吗？如何才能做到这一点？

Answer 1

我不建议从 CI 构建中自动化该操作。相反，它看起来更像是机器配置依赖项。

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