Come installare coqide (o tale) con brew

Ho avuto un sacco di problemi nell'ottenere il coq installato sul mio Mac (Mavericks) e in realtà non ho installato coqide lungo ...

Purtroppo "brew options coq" non ha risultati quindi non so come installare correttamente coqide.

Se è troppo complicato, va bene, mi piacerebbe qualsiasi soluzione alternativa (come un plugin di testo sublime o simile).

Grazie.

macos install homebrew

— Théo Winterhalter
fonte

Hai provato a usare il binari distribuiti ?

— Édouard

Sì, sfortunatamente non funziona su os x mavericks (sembra essere un bug noto), ecco perché ho dovuto preparare --devel per ottenere una versione più recente (su cui è stato corretto il bug). Questo è il motivo per cui mi piacerebbe ottenere il coqide separatamente (per mantenere qualcosa di appropriato).

— Théo Winterhalter

Lo stesso bug (nel binario rilasciato esistente) è riportato qui:

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

e nei commenti viene fornito un collegamento alle build recenti:

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

Non conosco la stabilità, ma 8.4pl4 sembra funzionare su Mavericks. Sono stato in grado di creare / installare le seguenti istruzioni README (potrebbe inoltre richiedere l'installazione di OCaml e altri strumenti, cosa che ho già avuto). Anche il coqide associato sembra funzionare senza problemi.

Non sono un utente esperto di Coq, quindi se ci sono delle funzionalità o considerazioni sulla stabilità in questa versione non pubblicata, allora mi starebbero in testa.

— Reid Atcheson
fonte