Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0003590OCamlOCaml generalpublic2005-04-12 14:562005-12-15 15:21
Reporteradministrator 
Assigned To 
PrioritynormalSeverityfeatureReproducibilityalways
StatusacknowledgedResolutionopen 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0003590: ocamlopt -pack et .p.cmi
DescriptionHello,

On utilise souvent une règle spécifique dans les Makefile pour compiler
des version de profiling .p.cmx:

.ml.p.cmx:
    ocamlopt -p -c -o $*.p.cmx $<

Si l'on veut ensuite packer les .p.cmx obtenus, il y a un problème:
ocamlopt -pack cherche les fichiers *.p.cmi. Si on les créé par copie
des *.cmi, ça échoue parce que le nom de l'unité ne correspond pas au
nom du module. Comment faire ?

Une solution ad-hoc serait de faire qu'ocamlopt cherche X.cmi lorsque
X.p.cmi n'existe pas et qu'il en a besoin.

-- Alain

TagsNo tags attached.
Attached Files

- Relationships

-  Notes
There are no notes attached to this issue.

- Issue History
Date Modified Username Field Change
2005-11-18 10:14 administrator New Issue
2005-12-15 15:21 doligez Severity minor => feature
2005-12-15 15:21 doligez Description Updated


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker