The Coq mailing list

[Robert Soule <robert.soule AT gmail.com>]

There is a dmg that worked for me here:

http://pauillac.inria.fr/~herbelin/coq-8.2-intel.dmg

- Robert Soule

On Fri, Sep 25, 2009 at 11:23 PM, Robert Nikander
<rob.nikander AT gmail.com>
 wrote:
> Thanks, that worked.  I didn't follow it exactly, but I downloaded and
> compiled OCaml from scratch, then camlp5, and then Coq compiled fine.
>
> Rob
>
> On Sep 25, 2009, at 6:20 PM, Robert wrote:
>>
>> You might try the following, which uses MacPorts:
>>
>> http://www.cs.princeton.edu/courses/archive/fall09/cos441/coq-mac.html
>>
>> This is how I build Coq on my Mac (10.4).  I've had reports that others
>> have
>> had success using these instructions, but I don't have data on specific
>> configurations, so YMMV.  If you don't want CoqIDE, you can skip
>> installing X11
>> and the gtk stuff (gtk-doc and lablgtk2).
>>
>> Rob Dockins
>>
>
> --------------------------------------------------------
> Bug reports: http://logical.saclay.inria.fr/coq-bugs
> Archives: http://pauillac.inria.fr/pipermail/coq-club
>         http://pauillac.inria.fr/bin/wilma/coq-club
> Info: http://pauillac.inria.fr/mailman/listinfo/coq-club
>