The Coq mailing list

[Hugo Herbelin <herbelin AT pauillac.inria.fr>]

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