Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005756OCamlOCamlbuild (the tool)public2012-09-04 02:102014-01-21 11:53
Assigned To 
PlatformOSOS Version
Product Version4.00.0 
Target Version4.01.1+devFixed in Version 
Summary0005756: ocamlbuild spends a lot of time logging
DescriptionIt was shown by Ygrek in the parent issue that ocamlbuild spends too much time calling dprintf and performing IO. Perhaps we could disable logging in, functorize Solver and provide dummy functions if logging is disabled.
TagsNo tags attached.
Attached Files

- Relationships
related to 0004934assigned ocamlbuild takes up to one minute to scan already done parts of Coq sources 

-  Notes
ygrek (reporter)
2012-09-04 10:37

AFAIK short of syntax extension the least awful way to do conditional logging is plain old `if` test - i.e. `if loglevel X then dprintf ...`

- Issue History
Date Modified Username Field Change
2012-09-04 02:10 meyer New Issue
2012-09-04 02:10 meyer Status new => assigned
2012-09-04 02:10 meyer Assigned To => meyer
2012-09-04 02:11 meyer Relationship added related to 0004934
2012-09-04 10:37 ygrek Note Added: 0008018
2012-09-27 14:50 doligez Target Version 4.00.1+dev => 4.00.2+dev
2013-07-11 16:33 doligez Target Version 4.00.2+dev => 4.02.0+dev
2013-07-12 18:15 doligez Target Version 4.02.0+dev => 4.01.1+dev
2014-01-21 11:53 doligez Assigned To meyer =>

Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker