Wie installiert man coqide (oder so) mit brew

Ich hatte viele Probleme damit, coq auf meinem Mac (Mavericks) zu installieren, und tatsächlich hat es coqide nicht mitinstalliert ...

Leider hat 'brew options coq' keine Ergebnisse, so dass ich nicht weiß, wie man coqide richtig installiert.

Wenn es zu kompliziert ist, ist es in Ordnung, ich würde jede alternative Lösung begrüßen (wie ein großartiges Text-Plugin oder ähnliches).

Vielen Dank.

macos install homebrew

— Théo Winterhalter
quelle

Haben Sie versucht, die verteilten Binärdateien zu verwenden ?

— Édouard

Ja, leider funktioniert es nicht auf OS X Mavericks (es scheint ein bekannter Fehler zu sein), deshalb musste ich --devel brauen, um eine neuere Version zu erhalten (auf der der Fehler behoben ist). Aus diesem Grund würde ich gerne eine separate Coqide erhalten (um etwas Richtiges zu behalten).

— Théo Winterhalter

Der gleiche Fehler (in der vorhandenen freigegebenen Binärdatei) wird hier gemeldet:

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

und in den Kommentaren wird ein Link zu neueren Builds angegeben:

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

Ich weiß nichts über Stabilität, aber 8.4pl4 scheint an Mavericks zu arbeiten. Ich konnte gemäß den README-Anweisungen erstellen / installieren (möglicherweise ist zusätzlich die Installation von OCaml und anderen Tools erforderlich, über die ich bereits verfügte.) Das zugehörige coqide scheint auch ohne Probleme zu funktionieren.

Ich bin kein erfahrener Coq-Benutzer. Wenn in dieser nicht veröffentlichten Version also Aspekte der Funktionalität oder der Stabilität berücksichtigt werden, gehen sie mir weit über den Kopf.

— Reid Atcheson
quelle