[Unison-hackers] Compiling under Mac OS X

Benjamin Pierce bcpierce at cis.upenn.edu
Sat Jul 25 08:32:29 EDT 2009


Nope, looks like still the same behavior...

   - B


On Jul 25, 2009, at 3:22 AM, Jerome Vouillon wrote:

> 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
> _______________________________________________
> Unison-hackers mailing list
> Unison-hackers at lists.seas.upenn.edu
> http://lists.seas.upenn.edu/mailman/listinfo/unison-hackers



More information about the Unison-hackers mailing list