The Coq mailing list

[Robert <rdockins AT Princeton.EDU>]

On Friday 25 September 2009 21:00:27 you wrote:
> Hi,
>
> I'm trying to get Coq installed on Mac OS X, version 10.6 (Snow
> Leopard).  I don't see any binary distributions on the web site
> (http://www.lix.polytechnique.fr/coq/download ;), so I downloaded the
> source, ran "./configure", "make", and got a bunch of errors like this:
>
> /var/folders/7E/7EADtPjfEMu4pw8fKXGk4k+++TI/-Tmp-/camlasmb25848.s:
> 714:32-bit absolute addressing is not supported for x86-64
> /var/folders/7E/7EADtPjfEMu4pw8fKXGk4k+++TI/-Tmp-/camlasmb25848.s:
> 714:cannot do signed 4 byte relocation
>
> Is there a binary distribution available?  Or is there a way around
> this error?

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