Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

ocamlopt -pack et .p.cmi #3590

Closed
vicuna opened this issue Apr 12, 2005 · 2 comments
Closed

ocamlopt -pack et .p.cmi #3590

vicuna opened this issue Apr 12, 2005 · 2 comments

Comments

@vicuna
Copy link

vicuna commented Apr 12, 2005

Original bug ID: 3590
Reporter: administrator
Status: acknowledged
Resolution: open
Priority: normal
Severity: feature
Category: compiler driver

Bug description

Hello,

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

@vicuna
Copy link
Author

vicuna commented Dec 8, 2016

Comment author: @mshinwell

@Frisch Are you still bothered about this?

@github-actions
Copy link

This issue has been open one year with no activity. Consequently, it is being marked with the "stale" label. What this means is that the issue will be automatically closed in 30 days unless more comments are added or the "stale" label is removed. Comments that provide new information on the issue are especially welcome: is it still reproducible? did it appear in other contexts? how critical is it? etc.

Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Projects
None yet
Development

No branches or pull requests

1 participant