0003827: Le nouveau -pack a besoin des .cmi

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0003827

OCaml

OCaml general

public

2005-10-31 18:00

2012-01-17 22:50

Reporter

administrator

Assigned To

lefessan

Priority

normal

Severity

minor

Reproducibility

always

Status

resolved

Resolution

fixed

Platform

OS Version

Product Version

Target Version

Fixed in Version

3.11.2

Summary

0003827: Le nouveau -pack a besoin des .cmi

Description

Hello,

J'ai l'impression que le nouveau mécanisme pour -pack a besoin de
pouvoir trouver les .cmi (au moment du -pack), sinon le link échoue:

buzet ~/tmp/pack $ cat a/a.ml
let x = 2
buzet ~/tmp/pack $ cat a/a.mli
val x : int
buzet ~/tmp/pack $ ocamlopt -c a/a.mli
buzet ~/tmp/pack $ ocamlopt -c -I a/ -for-pack Apack a/a.ml
buzet ~/tmp/pack $ ocamlopt -o apack.cmx -pack a/a.cmx
buzet ~/tmp/pack $ ocamlopt -o foo apack.cmx
apack.o: In function `camlApack__code_begin':
: undefined reference to `camlA'
collect2: ld returned 1 exit status
Error during linking

Avant, ça marchait même si les .cmi n'étaient pas disponibles.
Est-ce normal / documenté ?

-- Alain

Tags

No tags attached.

Attached Files

Relationships

Notes
(0003427) frisch (developer) 2005-12-11 16:05	En fait le problème est plus général. La fonction Compilenv.symbol_for_global ne se plaint pas lorsque le .cmx n'est pas trouvé, et se comporte comme l'identité dans ce cas. Or le .cmx est maintenant indispensable: c'est lui qui permet de calculer le vrai nom des symboles. À mon avis, il faudrait décreter que les .cmx sont nécessaires. Pour le problème spécifique de -pack, on dispose des chemins complets vers les .cmx; ne faudrait-il pas utiliser cette information plutôt que de chercher à retrouver les .cmx dans les répertoires donnés par -I ?

(0003616) ertai (developer) 2006-04-14 15:41	Je suis d'accord avec Alain.

(0006692) lefessan (developer) 2012-01-17 11:14	This bug seems fixed since version 3.11.2. I will close it if nobody complains.

Issue History
Date Modified	Username	Field	Change
2005-11-18 10:14	administrator	New Issue
2005-12-11 16:05	frisch	Note Added: 0003427
2006-04-14 15:41	ertai	Note Added: 0003616
2012-01-17 11:14	lefessan	Note Added: 0006692
2012-01-17 22:50	lefessan	Status	acknowledged => resolved
2012-01-17 22:50	lefessan	Fixed in Version	=> 3.11.2
2012-01-17 22:50	lefessan	Resolution	open => fixed
2012-01-17 22:50	lefessan	Assigned To	=> lefessan