| Anonymous | Login | Signup for a new account | 2013-05-25 07:02 CEST | ![]() |
| Main | My View | View Issues | Change Log | Roadmap |
| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | |||||||
| ID | Project | Category | View Status | Date Submitted | Last Update | |||
| 0005614 | OCaml | OCamldoc | public | 2012-05-15 05:42 | 2012-05-15 11:00 | |||
| Reporter | cookedm | |||||||
| Assigned To | guesdon | |||||||
| Priority | normal | Severity | major | Reproducibility | always | |||
| Status | closed | Resolution | fixed | |||||
| Platform | 64-bit | OS | OS X | OS Version | 10.7.4 | |||
| Product Version | 3.12.1 | |||||||
| Target Version | Fixed in Version | 4.00.0+dev | ||||||
| Summary | 0005614: Compile ocamldoc.opt with -linkall | |||||||
| 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. | |||||||
| Tags | No tags attached. | |||||||
| Attached Files | ||||||||
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 |
| Copyright © 2000 - 2011 MantisBT Group |