연속 통합의 일부인 Coq

Question

현재 프로젝트에서는 Java 및 Coq를 사용합니다. 우리는 maven을 사용하여 지속적인 통합 설정을했습니다. 우리는 coq 파일의 일부로 그것을 확인하고 싶다. 나는. (등 받는다는는 GWT와 같은 프레임 워크와 함께하는 것처럼) 파일

아무도 설정을 시도해 봤어 올바른 COQ

확인

• 를 다운로드하고 설치되지 않은 경우 로컬 COQ를 설치 : 우리는 필요 이거? 어떻게 할 수 있습니까?

Answer 1

CI 빌드에서 자동화하는 것을 권장하지 않습니다. 대신 기계 구성 종속성과 유사합니다.

이와 같은 경우에는 개발 환경이 주어진 상황에 맞는지 확인하기 위해 Puppet 및 Vagrant와 같은 도구에 의존하는 것이 좋습니다. 따라서 코드가이를 전제 또는 더 나은 것으로 처리해야합니다. - PATH에서 사용할 수 있는지 확인하십시오.