Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0004568OCamlfor Camlp4 use 19:272010-04-29 14:31
Assigned Toertai 
PlatformOSOS Version
Product Version3.10.2 
Target VersionFixed in Version3.11+dev 
Summary0004568: camlp4lib.cma embeds dynlink modules

The archive camlp4lib.cma seems embed dynlink modules:

$ ocamlobjinfo /usr/lib/ocaml/3.10.2/camlp4/camlp4lib.cma|grep Unit
  Unit name: Dynlinkaux
  Unit name: Dynlink
  Unit name: Camlp4_import
  Unit name: Camlp4_config
  Unit name: Camlp4
$ ocamlobjinfo /usr/lib/ocaml/3.10.2/dynlink.cma|grep Unit
  Unit name: Dynlinkaux
  Unit name: Dynlink

This results in duplication of these modules in projects which use independently dynlink.cma and camlp4lib.cma.

Is there a good reason for this choice?
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
glondu (reporter)
2008-10-23 09:32

Meanwhile, I've seen situations where linking the same module twice may result in trouble (namely, uncatchable exceptions). This problem still exists in OCaml 3.11.0+beta1. Is it planned to fix it?
ertai (developer)
2008-10-23 15:34

Thanks for the report this is now fixed in the CVS (head and release311).

Notice that some program will require an explicit linking with the dynlink library.

- Issue History
Date Modified Username Field Change
2008-06-22 19:27 glondu New Issue
2008-08-01 16:19 xleroy Assigned To => ertai
2008-08-01 16:19 xleroy Status new => assigned
2008-10-23 09:32 glondu Note Added: 0004685
2008-10-23 15:34 ertai Note Added: 0004686
2008-10-23 15:34 ertai Status assigned => resolved
2008-10-23 15:34 ertai Resolution open => fixed
2008-10-23 15:34 ertai Fixed in Version => 3.11+dev
2010-04-29 14:31 xleroy Status resolved => closed
2016-02-08 12:49 doligez Category Camlp4 => for Camlp4 use [^]
2016-02-08 12:50 doligez Category for Camlp4 use [^] => for Camlp4 use [^]

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker