Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005614OCamlocamldocpublic2012-05-15 05:422012-05-15 11:00
Assigned Toguesdon 
Platform64-bitOSOS XOS Version10.7.4
Product Version3.12.1 
Target VersionFixed in Version4.00.0+dev 
Summary0005614: Compile ocamldoc.opt with -linkall
DescriptionRight 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 InformationPatch attached to add -linkall.
TagsNo tags attached.
Attached Filespatch file icon ocamldoc-Makefile.patch [^] (596 bytes) 2012-05-15 05:42 [Show Content]

- Relationships

-  Notes
guesdon (manager)
2012-05-15 11:00

Fixed in revision 12455. Thanks.

- Issue History
Date Modified Username Field Change
2012-05-15 05:42 cookedm New Issue
2012-05-15 05:42 cookedm Status new => assigned
2012-05-15 05:42 cookedm Assigned To => guesdon
2012-05-15 05:42 cookedm File Added: ocamldoc-Makefile.patch
2012-05-15 11:00 guesdon Note Added: 0007430
2012-05-15 11:00 guesdon Status assigned => closed
2012-05-15 11:00 guesdon Resolution open => fixed
2012-05-15 11:00 guesdon Fixed in Version => 4.00.0+dev
2017-02-23 16:46 doligez Category OCamldoc => ocamldoc

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker