Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0003345OCamlOCaml generalpublic2004-12-08 05:262004-12-09 18:26
Assigned To 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version 
Summary0003345: RFE: add "PROFILING=prof" support to camlp4/etc and camlp4/meta
DescriptionFull_Name: Aleksey Nogin
Version: 3.08.2
OS: Fedora Core 2
Submission from: (

Following PR#2611, it is now possible to build a profiled version of the native
code files in camlp4/camlp4, camlp4/lib and camlp4/odyl. Hoewever the modules in
camlp4/etc and camp4/meta would still only be compiled w/o profiling. Would it
be possible to add "PROFILING=prof" support to these two directories as well?
Thank you!

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:13 administrator New Issue

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker