Coq as part of continuous integration

Question

In my current project we use Java and Coq. We have a continuous integration set up, using maven. We want to check coq files as part of it. I.e. we need:

• Download and install coq locally if it isn't installed (like maven does with frameworks like gwt, etc)
• Check that coq files are correct

Did anybody try setting up this? How can this be done?

Answer 1

I don't recommend automate that from your CI Build. Instead, it looks more like a Machine Configuration Dependency.

In cases like this, it is worth it to rely in tools like Puppet and Vagrant in order to ensure your Development Environment conforms to a given context, so your code needs to deal with this as either a premise or - better yet - ensure it is available in your PATH.