Thank you for the replies. In type_class.ml and type_class.mli, I replaced (*pp cpp $ARCH_FLAGS *) with (*pp gcc -E $ARCH_FLAGS *). The compilation gets further but now fails with:
...
ocamlfind ocamlc -package type-conv -c -I +camlp4 -for-pack Bin_prot binable.ml
File "binable.ml", line 36, characters 21-46:
Unbound type constructor Type_class.writer


On Wed, Oct 22, 2008 at 4:16 AM, Mark Shinwell <mshinwell@janestcapital.com> wrote:
On Tue, Oct 21, 2008 at 04:22:09PM -0400, Markus Mottl wrote:
> 2008/10/21 Ashish Agarwal <Ashish.Agarwal@yale.edu>:
> > I am having trouble installing JaneStreet's Core library through godi.
> > On Mac OS X, it fails while installing the prerequisite bin-prot:
> > ...
> >> ocamlfind ocamlc -package type-conv -c -pp "cpp $ARCH_FLAGS " -I +camlp4
> >> type_class.mli
> >> File "type_class.mli", line 93, characters 15-16:
> >> Syntax error
> > ...
> > Line 93 of type_class.mli is:
> > MK_BASE(unit)
>
> It's possible that the C-preprocessor works differently on Mac OS X.
> I haven't investigated this yet, but would be grateful if anybody who
> has set up Godi on a Mac could try to find a patch.

There is something about the preprocessors on Mac OS X which causes cpp to
behave differently from gcc -E; I've hit this before but can't remember the
full explanation offhand.  You can see the difference, for example, if you
try to use the ## operator.  Does everything work if you get everything
to use gcc -E for preprocessing?

Mark