You signed in with another tab or window. Reload to refresh your session.You signed out in another tab or window. Reload to refresh your session.You switched accounts on another tab or window. Reload to refresh your session.Dismiss alert
Original bug ID: 5614 Reporter: cookedm Assigned to:@zoggy Status: closed (set by @zoggy on 2012-05-15T09:00:02Z) Resolution: fixed Priority: normal Severity: major Platform: 64-bit OS: OS X OS Version: 10.7.4 Version: 3.12.1 Fixed in version: 4.00.0+dev Category: ocamldoc
Bug description
Right now, ocamldoc.opt won't load native plugins that use standard library modules that it itself doesn't use. On OS X (10.7.4, 64-bit), at least, I get messages like
% ocamldoc.opt -i ../_build -g argot.cmxs
Error while loading file argot.cmxs:
error loading shared library: dlopen(../_build/argot.cmxs, 138): Symbol not found: _camlStack__pop_1043
Referenced from: /Users/dave/src/ocaml/argot/argot-1.0/_build/argot.cmxs
Expected in: flat namespace
in /Users/dave/src/ocaml/argot/argot-1.0/_build/argot.cmxs
Relinking ocamldoc.opt with -linkall (adding that flag to ocamldoc/Makefile to the $(OCAMLDOC_OPT) target) allows the above command to work without error.
I've checked, and I believe that ocamldoc.opt is the only tool in the OCaml source tree that uses Dynlink and isn't linked with -linkall.
Original bug ID: 5614
Reporter: cookedm
Assigned to: @zoggy
Status: closed (set by @zoggy on 2012-05-15T09:00:02Z)
Resolution: fixed
Priority: normal
Severity: major
Platform: 64-bit
OS: OS X
OS Version: 10.7.4
Version: 3.12.1
Fixed in version: 4.00.0+dev
Category: ocamldoc
Bug description
Right now, ocamldoc.opt won't load native plugins that use standard library modules that it itself doesn't use. On OS X (10.7.4, 64-bit), at least, I get messages like
% ocamldoc.opt -i ../_build -g argot.cmxs
Error while loading file argot.cmxs:
error loading shared library: dlopen(../_build/argot.cmxs, 138): Symbol not found: _camlStack__pop_1043
Referenced from: /Users/dave/src/ocaml/argot/argot-1.0/_build/argot.cmxs
Expected in: flat namespace
in /Users/dave/src/ocaml/argot/argot-1.0/_build/argot.cmxs
Relinking ocamldoc.opt with -linkall (adding that flag to ocamldoc/Makefile to the $(OCAMLDOC_OPT) target) allows the above command to work without error.
I've checked, and I believe that ocamldoc.opt is the only tool in the OCaml source tree that uses Dynlink and isn't linked with -linkall.
Additional information
Patch attached to add -linkall.
File attachments
The text was updated successfully, but these errors were encountered: