Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005582OCamlOCaml otherlibspublic2012-04-11 15:032013-08-31 12:49
Reporterglondu 
Assigned To 
PrioritynormalSeverityblockReproducibilityalways
StatusclosedResolutionfixed 
PlatformOSOS Version
Product Version 
Target VersionFixed in Version4.00.0+dev 
Summary0005582: Bogus dependencies in otherlibs/graph
DescriptionRevision 12328 has introduced bogus dependencies to /opt/local/include/X11/* in otherlibs/graph/.depend, making it impossible to build this library on most systems...
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0007382)
xleroy (administrator)
2012-04-19 15:02

Fixed in 4.00 branch (commit 12381) and on trunk (commit 12382).

- Issue History
Date Modified Username Field Change
2012-04-11 15:03 glondu New Issue
2012-04-19 15:02 xleroy Note Added: 0007382
2012-04-19 15:02 xleroy Status new => resolved
2012-04-19 15:02 xleroy Resolution open => fixed
2012-04-19 15:02 xleroy Fixed in Version => 4.00.0+dev
2013-08-31 12:49 xleroy Status resolved => closed


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker