[Unison-hackers] Compiling under Mac OS X

Jerome Vouillon Jerome.Vouillon at pps.jussieu.fr
Sat Jul 25 03:22:21 EDT 2009


On Fri, Jul 24, 2009 at 05:21:02PM -0400, Benjamin Pierce wrote:
> 	.text
> 	.align	4
> 	.private_extern	_caml_apply2
> _caml_apply2:
> 	subl	$12, %esp

It looks like a bug in Ocaml 3.11.1: the fix to Ocaml bug #4690 breaks
Unison.  (http://caml.inria.fr/mantis/view.php?id=4690)

Could you try to add the options "-cclib -keep_private_externs" and
"-keep_private_externs" as follows in Makefile.Ocaml:

    $(NAME)-blob.o: $(CAMLOBJS) $(COBJS)
            @echo Linking $@
            $(CAMLC) -output-obj -verbose -cclib -keep_private_externs ...
            $(LD) -r -keep_private_externs -o $@ u-b.o $(COBJS)
            $(RM) u-b.o

This option is supposed to prevent the private external symbols to
turn from global to static.

-- Jerome


More information about the Unison-hackers mailing list