The Coq mailing list

[muad <muad.dib.space AT gmail.com>]

hugo.herbelin wrote:
> 
> Hi,
> 
>> Another problem I coudn't fix has come up, in building the plugins (which
>> according to the Coq website is tricky.. but it doesn't go into detail).
>> The
>> error messages are:
>> 
>> OCAMLOPT -shared -o plugins/syntax/nat_syntax_plugin.cmxs
>> ld: absolute addressing (perhaps -mdynamic-no-pic) used in _caml_curry2
>> from
>> plugins/syntax/nat_syntax_plugin.cmxs.startup.o not allowed in slidable
>> image
>> collect2: ld returned 1 exit status
>> File "caml_startup", line 1, characters 0-1:
>> 
>> is there any known way to sort that?
> 
> I understand from the context that you are using MacOS 10.5 and it
> looks like you did not upgrade Apple XCode tool (according to ocaml
> 3.11.1 ReadMe, version >= 3.1.1 is needed for properly using ocaml on
> MacOS 10.5.x). On my MacOS 10.5.6 with XCode 3.1.2, precompiled ocaml
> 3.11.1 from the ocaml site, camlp5 5.12 compiled with "make
> world.opt" and today's svn trunk configured with "configure -local",
> everything goes well.
> 
> In any cases:
> 
> - if needed, use of plugins in Coq svn trunk can be deactivated by passing
>   option "-natdynlink no" to "configure",
> - building plugins, and the web site was here talking about third-party 
>   plugins, is no longer "tricky" on MacOS 10.5 if using ocaml 3.11.1,
> - for such compilation problems, we greatly recommended you to provide
>   as relevant informations as possible on your compilation environment
>   (starting with your platform!),
> - moreover, the svn trunk is evolving regularly and it always present
>   some risks to try to compile it.
> 
> Hugo Herbelin
> 
> --------------------------------------------------------
> 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
> 
> 

Thanks a lot, did and upgrade and now everything is working!
-- 
View this message in context: 
http://www.nabble.com/Compile-error%3A-gramlib.cmxa-tp24989095p24997738.html
Sent from the Coq mailing list archive at Nabble.com.