Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0003827OCamlOCaml generalpublic2005-10-31 18:002013-08-31 12:44
Reporteradministrator 
Assigned Tolefessan 
PrioritynormalSeverityminorReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version3.11.2 
Summary0003827: Le nouveau -pack a besoin des .cmi
DescriptionHello,


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

TagsNo 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
2013-08-31 12:44 xleroy Status resolved => closed


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker