The Coq mailing list

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

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?
-- 
View this message in context: 
http://www.nabble.com/Compile-error%3A-gramlib.cmxa-tp24989095p24989276.html
Sent from the Coq mailing list archive at Nabble.com.