양조와 함께 coqide (또는 등)를 설치하는 방법

나는 나의 맥 (코디네이트)에 coq를 설치하는 데 많은 어려움을 겪었고 실제로 coqide를 설치하지 않았다.

불행히도 'brew options coq'에는 결과가 없으므로 제대로 설치하는 방법을 모르겠습니다.

너무 복잡하다면 괜찮아요. 다른 대체 솔루션 (예 : 숭고한 텍스트 플러그인 등)을 환영합니다.

감사.

기존에 릴리스 된 바이너리와 동일한 버그가 여기에보고됩니다.

http://www.lix.polytechnique.fr/coq/bugs/show_bug.cgi?id=3155

주석에는 최근 빌드에 대한 링크가 제공됩니다.

http://www.pps.univ-paris-diderot.fr/~pboutill/coq-night/v8.4/

나는 안정성에 대해 모른다. 그러나 8.4pl4는 매버릭스에서 작동하는 것으로 보인다. 다음 README 지침을 빌드하고 설치할 수있었습니다 (OCaml과 다른 도구를 추가로 설치해야 할 수도 있습니다. 이미 관련이 있습니다). 관련 coqide도 문제없이 작동하는 것으로 보입니다.

나는 노련한 Coq 사용자가 아니기 때문에,이 비공식 버전에서 기능이나 안정성에 대한 고려 사항이 있다면, 그들은 내 머리 위로 멀리 갈 것입니다.