0002271: -pack .cma

View Issue Details [ Jump to Notes ]

[ Issue History ] [ Print ]

Project

Category

View Status

Date Submitted

Last Update

0002271

OCaml

OCaml general

public

2004-02-19 08:33

2009-09-17 15:07

Reporter

administrator

Assigned To

Priority

normal

Severity

feature

Reproducibility

always

Status

acknowledged

Resolution

open

Platform

OS Version

Product Version

Target Version

Fixed in Version

Summary

0002271: -pack .cma

Description

Il 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

Tags

No 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