java - 継続的インテグレーションの一部としての Coq

Question

私の現在のプロジェクトでは、Java と Coq を使用しています。Mavenを使用して、継続的インテグレーションをセットアップしました。その一部としてcoqファイルをチェックしたい。つまり、次のものが必要です。

• インストールされていない場合は、coq をダウンロードしてローカルにインストールします (maven が gwt などのフレームワークで行うように)。
• coq ファイルが正しいことを確認する

誰かがこれを設定しようとしましたか？これはどのように行うことができますか？

Answer 1

CI ビルドから自動化することはお勧めしません。代わりに、マシン構成の依存関係のように見えます。

このような場合、開発環境が特定のコンテキストに準拠していることを確認するために、Puppet や Vagrant などのツールに依存することは価値があるため、コードはこれを前提として処理する必要があります。 PATH で使用できます。