Mantis Bug Tracker

View Issue Details Jump to Notes ] Issue History ] Print ]
IDProjectCategoryView StatusDate SubmittedLast Update
0005760OCamlOCamlbuild (the tool)public2012-09-17 15:352013-07-11 16:36
Reporterhongboz 
Assigned To 
PrioritynormalSeverityminorReproducibilityalways
StatusresolvedResolutionunable to reproduce 
PlatformOSOS Version
Product Version 
Target Version4.01.0+devFixed in Version 
Summary0005760: ocamlbuild does not work well with ocamldep to generate dependency
Descriptionocamlbuild invoke ocamldep to generate dependency, when both A.ml and A.mli exists, it will only pick A.mli, some dependency is missing which results in a linking error
TagsNo tags attached.
Attached Files

- Relationships

-  Notes
(0008093)
gasche (developer)
2012-09-17 15:36

Thanks for the report.

Could you provide a sequence of shell commands that would allow to reproduce the problem?
(0008094)
hongboz (developer)
2012-09-17 15:42

I spot this error from a large project, it may be hard to reproduce in a minimal examlpe.
But it may be easy to verify this problem: by
ocamlbuild -verbose 1 binary.byte
and read the log
Here is a sample output

ocamlfind ocamldep -pp 'boot/fan -parser rf -parser debug -printer p -D OPT' -modules src/Camlp4/Struct/Grammar/Print.mli > src/Camlp4/Struct/Grammar/Print.mli.depends

It will not use Print.ml to generate dependency, if Print.mli is very succinct, it will not generate dependency correctly
(0008095)
gasche (developer)
2012-09-17 16:12

I'm sorry, hongbo, but I'm afraid the issue would be quite hard to understand and debug without a test case. Please try to see if you can produce a test case, otherwise the bug is unlikely to go away from this report alone.
(0008181)
doligez (administrator)
2012-10-01 15:03

I agree with gasche, we need a repro case, even if it's a big one.
(0008183)
hongboz (developer)
2012-10-01 16:19

I would try to make a reproducible case by tuesday. The problem is that for small repos, it's hard to cause a failure
(0008194)
hongboz (developer)
2012-10-02 20:30

Sorry, I can not reproduce the problem any more, my repo was changed a lot(directory structure flattened).

But I remembered if I have two files Printer.ml Printer.mli, if I remove Printer.mli, then everything went smoothly. Sorry for the in-convenience.

- Issue History
Date Modified Username Field Change
2012-09-17 15:35 hongboz New Issue
2012-09-17 15:36 gasche Note Added: 0008093
2012-09-17 15:37 gasche Status new => feedback
2012-09-17 15:42 hongboz Note Added: 0008094
2012-09-17 15:42 hongboz Status feedback => new
2012-09-17 16:12 gasche Note Added: 0008095
2012-10-01 15:03 doligez Note Added: 0008181
2012-10-01 15:03 doligez Status new => feedback
2012-10-01 16:19 hongboz Note Added: 0008183
2012-10-01 16:19 hongboz Status feedback => new
2012-10-02 17:39 doligez Status new => acknowledged
2012-10-02 20:30 hongboz Note Added: 0008194
2013-07-11 16:36 doligez Status acknowledged => resolved
2013-07-11 16:36 doligez Resolution open => unable to reproduce
2013-07-11 16:36 doligez Target Version => 4.01.0+dev


Copyright © 2000 - 2011 MantisBT Group
Powered by Mantis Bugtracker