Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0002271OCamlOCaml generalpublic2004-02-19 08:332009-09-17 15:07
Reporteradministrator 
Assigned To 
PrioritynormalSeverityfeatureReproducibilityalways
StatusacknowledgedResolutionopen 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0002271: -pack .cma
DescriptionIl serait pratique de pouvoir créer une unité packagée à partir d'un .cma.
La sémantique serait d'inclure les .cmo contenu dans le .cma et les .cmi
qui leur correspondent et que l'on trouve à l'exterieur.

Cela permettrait par exemple de se créer un toplevellib.cmo qui éviterait
des collisions de noms. En l'occurence, ça serait bien pratique qu'OCaml
installe tous les .cmi correspondant (eventuellement ailleurs que dans le
répertoire standard), et d'ailleurs c'est ce que fait GODI.

-- Alain

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0000204)
administrator (administrator)
2004-04-01 15:54

Seems hard because where to find the missing .cmi
(0005108)
Julien Signoles (reporter)
2009-09-17 15:07

I understand why it is hard... However this feature would be useful for Frama-C (http://frama-c.cea.fr [^]).

- Issue History
Date Modified Username Field Change
2005-11-18 10:13 administrator New Issue
2009-09-17 15:07 Julien Signoles Note Added: 0005108


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker