MantisBT - OCaml
View Issue Details
0003827OCaml~DO NOT USE (was: OCaml general)public2005-10-31 18:002013-08-31 12:44
administrator 
lefessan 
normalminoralways
closedfixed 
 
3.11.2 
0003827: Le nouveau -pack a besoin des .cmi
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

No tags attached.
Issue History
2005-11-18 10:14administratorNew Issue
2005-12-11 16:05frischNote Added: 0003427
2006-04-14 15:41ertaiNote Added: 0003616
2012-01-17 11:14lefessanNote Added: 0006692
2012-01-17 22:50lefessanStatusacknowledged => resolved
2012-01-17 22:50lefessanFixed in Version => 3.11.2
2012-01-17 22:50lefessanResolutionopen => fixed
2012-01-17 22:50lefessanAssigned To => lefessan
2013-08-31 12:44xleroyStatusresolved => closed
2017-02-23 16:36doligezCategoryOCaml general => -OCaml general
2017-03-03 17:55doligezCategory-OCaml general => -(deprecated) general
2017-03-03 18:01doligezCategory-(deprecated) general => ~deprecated (was: OCaml general)
2017-03-06 17:04doligezCategory~deprecated (was: OCaml general) => ~DO NOT USE (was: OCaml general)

Notes
(0003427)
frisch   
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   
2006-04-14 15:41   
Je suis d'accord avec Alain.
(0006692)
lefessan   
2012-01-17 11:14   
This bug seems fixed since version 3.11.2. I will close it if nobody complains.