0004568: camlp4lib.cma embeds dynlink modules

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0004568

OCaml

Camlp4

public

2008-06-22 19:27

2010-04-29 14:31

Reporter

glondu

Assigned To

ertai

Priority

normal

Severity

tweak

Reproducibility

always

Status

closed

Resolution

fixed

Platform

OS Version

Product Version

3.10.2

Target Version

Fixed in Version

3.11+dev

Summary

0004568: camlp4lib.cma embeds dynlink modules

Description

Hello,

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?

Tags

No tags attached.

Attached Files

Relationships

Notes
(0004685) 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?

(0004686) 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