|Anonymous | Login | Signup for a new account||2013-05-22 19:54 CEST|
|Main | My View | View Issues | Change Log | Roadmap|
|View Issue Details|
|ID||Project||Category||View Status||Date Submitted||Last Update|
|0005760||OCaml||OCamlbuild (the tool)||public||2012-09-17 15:35||2012-10-02 20:30|
|Target Version||Fixed in Version|
|Summary||0005760: ocamlbuild does not work well with ocamldep to generate dependency|
|Description||ocamlbuild 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|
|Tags||No tags attached.|
Thanks for the report.
Could you provide a sequence of shell commands that would allow to reproduce the problem?
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
|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.|
I agree with gasche, we need a repro case, even if it's a big one.
|I would try to make a reproducible case by tuesday. The problem is that for small repos, it's hard to cause a failure|
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.
|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|
|Copyright © 2000 - 2011 MantisBT Group|