| Anonymous | Login | Signup for a new account | 2013-05-25 04:58 CEST | ![]() |
| Main | My View | View Issues | Change Log | Roadmap |
| View Issue Details [ Jump to Notes ] | [ Issue History ] [ Print ] | ||||||||||
| 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 | ||||||
| Reporter | hongboz | ||||||||||
| Assigned To | |||||||||||
| Priority | normal | Severity | minor | Reproducibility | always | ||||||
| Status | acknowledged | Resolution | open | ||||||||
| Platform | OS | OS Version | |||||||||
| Product Version | |||||||||||
| 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. | ||||||||||
| Attached Files | |||||||||||
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 (manager) 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 | |
| Copyright © 2000 - 2011 MantisBT Group |